D. Harel and A. Pnueli, 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

D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi et al., 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

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

D. Harel, 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

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

G. Berry and G. Gonthier, 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

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming Real-Time applications with SIGNAL, Another Look at Real-Time Programming, Proceedings of the IEEE, pp.1321-1336, 1991.

D. Bruce-powel, Real Time UML Third Edition Advences in the UML for Real-Time Systems, Object Technology Series, 2004.

A. Demeure and Y. D. Gallo, An array approach for signal processing design, In Sophia-Antipolis conference on Micro-Electronics, 1998.

O. Labbani, J. Dekeyser, and P. Boulet, 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

E. A. Lee, Overview of the Ptolemy Project, 2001.