@article{Boucaron:2006:GRS:1706632.1706845, author = {Boucaron, Julien and Millo, Jean-Vivien and De Simone, Robert}, title = {Another Glance at Relay Stations in Latency-Insensitive Design}, journal = {Electron. Notes Theor. Comput. Sci.}, volume = {146}, issue = {2}, month = {January}, year = {2006}, issn = {1571-0661}, pages = {41--59}, numpages = {19}, url = {http://dx.doi.org/10.1016/j.entcs.2005.05.035}, doi = {http://dx.doi.org/10.1016/j.entcs.2005.05.035}, acmid = {1706845}, publisher = {Elsevier Science Publishers B. V.}, address = {Amsterdam, The Netherlands, The Netherlands}, keywords = {Esterel, Formal Verification, GALS, Latency Insensitive, Marked Graph, Relay Station, Shell, SyncCharts, Synchronous}, }