N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

G. Berry, The Foundations of Esterel, Proofs, Languages, Essays in Honour of Robin Milner, 2000.

J. Colaço and M. Pouzet, Clocks as First Class Abstract Types, Third International Conference on Embedded Software (EMSOFT'03), 2003.

J. Colaço, A. Girault, G. Hamon, and M. Pouzet, Towards a Higher-order Synchronous Data-flow Language, ACM Fourth International Conference on Embedded Software (EMSOFT'04), 2004.

J. Colaço, B. Pagano, and M. Pouzet, A Conservative Extension of Synchronous Data-flow with State Machines, ACM International Conference on Embedded Software (EMSOFT'05), 2005.

J. Colaço, G. Hamon, and M. Pouzet, Mixing Signals and Modes in Synchronous Data-flow Systems, ACM International Conference on Embedded Software (EMSOFT'06), 2006.

C. André, Representation and Analysis of Reactive Behaviors: A Synchronous Approach, 1996.

G. Berry and G. Gonthier, The Esterel synchronous programming language, design, semantics, implementation. Science of Computer Programming, vol.19, pp.87-152, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.

D. Harel, StateCharts: a Visual Approach to Complex Systems, Science of Computer Programming, vol.8, issue.3, pp.231-275, 1987.

F. Maraninchi and Y. Rémond, Mode-automata: About modes and states for reactive systems, European Symposium On Programming, 1998.

F. Maraninchi and Y. Rémond, Mode-automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, issue.46, pp.219-254, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01876521

M. Pouzet, Towards the Development of a Certified Compiler for Lustre. Workshop SYNCHRON Bamberg, nov. 27th, 2007. 8. Glossary SCADE: Safety Critical Application Development Environment