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

A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett et al., The Generic Modeling Environment, Proc. of the IEEE Workshop on Intelligent Signal Processing, 2001.

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

P. , L. Guernic, J. Talpin, and J. Lann, Polychrony for system design, Journal of Circuits Systems and Computers. World Scientific, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00730480

D. Potop-butucaru and B. Caillaud, Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005.
DOI : 10.1109/ACSD.2005.10

J. Talpin, D. Potop-butucaru, J. Ouy, and B. Caillaud, From multi-clocked synchronous processes to latency-insensitive modules, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05
DOI : 10.1145/1086228.1086279

L. Besnard, T. Gautier, and P. L. Guernic, Signal V4: reference manual

I. and V. University, The Gme Website

I. and V. University, Gme User Manual

D. Potop and B. Caillaud, Correct-by-construction asynchronous implementation of modular synchronous specifications, Applications of Concurrency to System Design, 2005.

J. L. Colaco, A. Girault, G. Hamon, and M. Pouzet, Towards a higher-order synchronous dataflow language, Embedded Software Conference lectures notes in computer science, 2004.

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, International Journal of Computer Simulation, special issue on Simulation Software Development. v. 4, pp.155-182, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

J. Colaco, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086261

C. André, Representation and analysis of reactive behaviors: a synchronous approach, Computational Engineering in Systems Applications. IMACS-IEEE, 1996.

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, 1992.
DOI : 10.1016/0167-6423(92)90005-V

URL : https://hal.archives-ouvertes.fr/inria-00075711

A. Gamatié, C. Brunette, R. Delamare, T. Gauthier, and J. Talpin, A Modeling Paradigm for Integrated Modular Avionics Design, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), 2005.
DOI : 10.1109/EUROMICRO.2006.11

E. Rutten and F. Martinez, SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL, Proceedings Seventh Euromicro Workshop on Real-Time Systems, 1995.
DOI : 10.1109/EMWRTS.1995.514309

I. Unité-de-recherche, . Lorraine, V. Technopôle-de-nancy-brabois, I. Lès-nancy-unité-de-recherche, and . Rennes, Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004.