Synchronous Programming of Reactive Systems, 1993. ,
The Foundations of Esterel, Proofs, Languages, Essays in Honour of Robin Milner, 2000. ,
Clocks as First Class Abstract Types, Third International Conference on Embedded Software (EMSOFT'03), 2003. ,
Towards a Higher-order Synchronous Data-flow Language, ACM Fourth International Conference on Embedded Software (EMSOFT'04), 2004. ,
A Conservative Extension of Synchronous Data-flow with State Machines, ACM International Conference on Embedded Software (EMSOFT'05), 2005. ,
Mixing Signals and Modes in Synchronous Data-flow Systems, ACM International Conference on Embedded Software (EMSOFT'06), 2006. ,
Representation and Analysis of Reactive Behaviors: A Synchronous Approach, 1996. ,
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
The synchronous dataflow programming language lustre, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
StateCharts: a Visual Approach to Complex Systems, Science of Computer Programming, vol.8, issue.3, pp.231-275, 1987. ,
Mode-automata: About modes and states for reactive systems, European Symposium On Programming, 1998. ,
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
Towards the Development of a Certified Compiler for Lustre. Workshop SYNCHRON Bamberg, nov. 27th, 2007. 8. Glossary SCADE: Safety Critical Application Development Environment ,