1. A. Benveniste and P. Le Guernic. “Hybrid dynamical systems theory and the Signal language.” IEEE Trans. on Automatic Control, AC-35(5): 535–546, 1990.
2. A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionalityin dataflow synchronous languages: specification & distributed code generation. Information and Computation, 163, 125–171 (2000).
3. Lect Notes Comput Sci;B. A,1999
4. A. Benveniste, B. Caillaud, P. Le Guernic, and J. P. Talpin. Desynchronization of synchronous programs: summary of results. Preprint, available at http://www.irisa.fr/sigma2/benveniste/pub/Bal99.html
5. L. P. Carloni, K. L. McMillan, and A. L. Sangiovanni-Vincentelli. The theoryof latencyinsensitiv e design. Submitted for publication, 2001.