On the Development of Reactive Systems, Logics and Models of Concurrent Systems NATO ASI Series, pp.477-498, 1985. ,
DOI : 10.1007/978-3-642-82453-1_17
STATEMATE: a working environment for the development of complex reactive systems, Tenth International Conference on Computer-Aided Verification, CAV'98 LNCS 1427, pp.403-414, 1998. ,
DOI : 10.1109/32.54292
Mode-automata: About modes and states for reactive systems, European Symposium On Programming, 1998. ,
DOI : 10.1007/BFb0053571
Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987. ,
DOI : 10.1016/0167-6423(87)90035-9
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992. ,
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711
Programming Real-Time applications with SIGNAL, Another Look at Real-Time Programming, Proceedings of the IEEE, pp.1321-1336, 1991. ,
Real Time UML Third Edition Advences in the UML for Real-Time Systems, Object Technology Series, 2004. ,
An array approach for signal processing design, In Sophia-Antipolis conference on Micro-Electronics, 1998. ,
Mode-Automata Based Methodology for Scade, Springer, Hybrid Systems: Computation and Control, 8th International Workshop, pp.386-401, 2005. ,
DOI : 10.1007/978-3-540-31954-2_25
URL : https://hal.archives-ouvertes.fr/inria-00000912
Overview of the Ptolemy Project, 2001. ,