D. Harel and A. Pnueli, On the development of reactive systems. Logics and Models of Concurrent Systems (NATO ASI Series), pp.477-498, 1985.

N. Halbwachs, Synchronous programming of reactive systems, Kluwer Academic Pub, 1993.

L. Zaffalon and P. Breguet, Conception de Systèmes Réactifs, Revue Scientifique de l'EIVD, 2001.

G. Berry and A. Benveniste, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075115

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. , Plaice: Lustre, a declarative language for real time programming, Proceedings ACM Conference on Principles of Programming Languages, 1987.

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

A. Benveniste, P. Bournai, T. Gautier, and P. L. Guernic, SIGNAL: a Data Flow Oriented Language for Signal Processing. INRIA, centre de Rennes IRISA, 1985.
URL : https://hal.archives-ouvertes.fr/inria-00076178

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

F. Boussinot and R. Simone, The Esterel Language Another Look at Real-Time Programming, Proceedings of the IEEE, pp.1293-1304, 1991.

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.79-1321, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075114

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001.
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055

P. Amey, Correctness by Construction: better can also be cheaper, Journal of Defense Software Engineering, 2002.

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

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

M. Jourdan, F. Lagnier, F. Maraninchi, and P. Raymond, A multiparadigm language for reactive systems, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94), 1994.
DOI : 10.1109/ICCL.1994.288379

N. Pernet and Y. Sorel, Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing, International Conference: Computer Applications in Industry and Engineering, 2003.

F. Maraninchi and Y. Rémond, Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Automata), Proc. 5th International Workshop on Formal Methods for Industrial Critical Systems, 2000.