D. Harel and A. Pnueli, On the development of reactive systems. Logics and models of concurrent systems, pp.477-498, 1989.

D. Potop-butucaru, D. Simone, R. , and T. , The synchronous hypothesis and synchronous languages. The Embedded Systems Handbook, pp.1-21, 2005.

F. Boussinot, D. Simone, and R. , The ESTEREL language, Proceedings of the IEEE, pp.1293-1304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

A. Benveniste, L. Guernic, P. Jacquemot, and C. , Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

K. Schneider, The synchronous programming language quartz, 2010.

P. Teehan, M. Greenstreet, and G. Lemieux, A Survey and Taxonomy of GALS Design Styles, IEEE Design & Test of Computers, vol.24, issue.5, pp.418-428, 2007.
DOI : 10.1109/MDT.2007.151

A. Benveniste, B. Caillaud, L. Guernic, and P. , From Synchrony to Asynchrony, Proceedings of CONCUR 99, pp.162-177, 1999.
DOI : 10.1007/3-540-48320-9_13
URL : https://hal.archives-ouvertes.fr/inria-00073032

A. Gamatié, Designing embedded systems with the SIGNAL programming language, 2010.
DOI : 10.1007/978-1-4419-0941-1

L. Guernic, P. Gautier, and T. , Data-flow to von neumann: the signal approach Advanced Topics in Data-Flow Computing, pp.413-438, 1991.

L. Guernic, P. Talpin, J. , L. Lann, and J. , POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.261-304, 2002.
DOI : 10.1142/S0218126603000763
URL : https://hal.archives-ouvertes.fr/hal-00730480

A. Pnueli, M. Siegel, and F. Singerman, Tanslation validation, Proceedings of TACAS 98, pp.151-166, 1998.

D. Nowak, J. Beauvais, and T. , Co-inductive axiomatization of a synchronous language, Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, pp.387-399, 1998.
DOI : 10.1007/BFb0055148
URL : https://hal.archives-ouvertes.fr/hal-00544505

M. Kerboeuf, D. Nowak, and T. , Specification and verification of a stream-boiler with signal-coq, Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics, pp.356-371, 2000.

Y. Bertot and P. Casteran, Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
DOI : 10.1007/978-3-662-07964-5
URL : https://hal.archives-ouvertes.fr/hal-00344237

A. Benveniste, L. Guernic, P. Sorel, Y. Sorine, and M. , A denotational theory of synchronous reactive systems, Information and Computation, vol.99, issue.2, pp.192-230, 1992.
DOI : 10.1016/0890-5401(92)90030-J
URL : https://hal.archives-ouvertes.fr/hal-00549783

E. A. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation IEEE Transactions on computer-aided design of integrated circuits and systems, pp.1217-1229, 1998.

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to algorithms, 2009.

B. Houssais, The synchronous programming language signal-a tutorial, 2004.

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-vincentelli, Composing heterogeneous reactive systems, ACM Transactions on Embedded Computing Systems, vol.7, issue.4
DOI : 10.1145/1376804.1376811
URL : https://hal.archives-ouvertes.fr/inria-00555841