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

N. Halbwachs, Synchronous programming of reactive systems, p.792393112, 1993.

G. Berry and A. Benveniste, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, 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 of the 14th ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages, pp.178-188, 1987.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 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, 1985.
URL : https://hal.archives-ouvertes.fr/inria-00076178

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, vol.79, issue.9, pp.1321-1336, 1991.

F. Boussinot and R. Simone, The ESTEREL language, Proceedings of the IEEE, vol.79, issue.9, pp.1293-1304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075

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

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

F. Maraninchi and Y. Rémond, Argos: an Automaton-Based Synchronous Language. Computer Languages, pp.61-92, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00273055

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

F. Maraninchi and Y. Rémond, Mode-automata: About modes and states for reactive systems, European Symposium On Programming, 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)
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.

E. Technologies, Efficient Development of Airborne Software with SCADE Suite TM, 2003.

C. Andrés, Representation and Analysis of Reactive Behaviors: A Synchronous Approach Computational Engineering in Systems Applications (CESA) IEEE-SMC, pp.19-29, 1996.

H. Marchand and E. Rutten, Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002, 2002.
DOI : 10.1109/EMRTS.2002.1019204
URL : https://hal.archives-ouvertes.fr/inria-00525533

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.

P. Caspi and M. Pouzet, Lucid Synchrone, a functional extension of Lustre, 2000.

X. Leroy, The Objective Caml System Release 3.0.8: Documentation and user's manual, Institut National de Recherche en Informatique et en Automatique, 2004.

E. A. Lee, Overview of the Ptolemy Project Technical Memorandum UCB, 2003.

A. Girault, B. Lee, and E. A. Lee, Hierarchical finite state machines with multiple concurrency models, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, issue.6, 1999.
DOI : 10.1109/43.766725

M. Marchi, J. Ehrlich, and L. Salesse, LAVIA: the French ISA project, main issues and first results on technical tests, Proceedings of the 10th ITS Congress, 2003.

V. Beyst and . Prosper, Project for Research On Speed adaptation Policies on European Roads, Final Report on Stakeholder Analysis, 2004.

J. Page, A final technical report on the Belgian Intelligent Speed Adaptation (ISA) trial, Project and research engineer, Belgian Institute for Road Safety, 2004.

T. Biding and . Vägverket, Intelligent Speed Adaptation (ISA), Results of large-scale trials in Borlänge, and Umeå during the period, 1999.

C. S. Jensen, H. Lahrmann, S. Pakalnis, and J. Runge, The INFATI Data, 2004.

A. Jerbi and Y. Miled, Limiteur-Régulateur de Vitesse Intelligent (LRVI), 2005.

D. R. Morse, H. S. Gedenryd, S. Holland, and A. Simple, Technology-neutral Lingua Franca for Location Systems, Applied To Combined Indoor-Outdoor Navigation, 2002.

E. M. Clarke and E. A. Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, proceedings of the IBM Workshop on logics of programs, 131 of LNCS, pp.52-71, 1981.

I. Unité-de-recherche, . Lorraine, . Loria, and . Technopôle-de-nancy, Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex