C. André, H. Boufaïed, and S. Dissoubray, Synccharts: un modèle graphique synchrone pour système réactifs complexes, Real-Time Systems(RTS'98), pp.175-196, 1998.

]. G. Berry, The Constructive Semantics of Pure Esterel. Draft Book, available at: http://www.esterel-technologies, 1996.

G. Berry, The Foundations of Esterel, Proof, Language, and Interaction, Essays in Honor of Robin Milner, 2000.

A. Bouali, Xeve, an Esterel verification environment, CMA-Ecole des Mines, 1996.
DOI : 10.1007/BFb0028770
URL : https://hal.archives-ouvertes.fr/inria-00069957

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceeeding CAV, number 2404 in LNCS, pp.359-364, 2002.
DOI : 10.1007/3-540-45657-0_29

P. Cousot and R. Cousot, On Abstraction in Software Verification, Proceeeding CAV, number 2404 in LNCS, 2002.
DOI : 10.1007/3-540-45657-0_3

S. A. Edwards, Compiling esterel into sequential code, Proceedings of the 7th International Workshop on Hardware/Software Codesign (CODES 99), pp.147-151, 1999.

M. Gordon, The Denotational Description of Programming Languages, 1979.
DOI : 10.1007/978-1-4612-6228-2

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 Workshops in Computing, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

D. Harel and A. Pnueli, On the development of reactive systems Advanced Study institute on Logics and Models for Verification and Specification of Concurrent Systems, In NATO, 1985.

C. Huizing and R. Gerth, Semantics of reactive systems in abstract time In Real Time: Theory in Practice, Proc of REX workshop, pp.291-314, 1991.

D. Potop-butucaru and R. Simone, Formal Methods and Models for System Design, chapter Optimizations for Faster Execution of Esterel Programs, 2004.

T. Shiple, Formal Analysis of Cyclic Circuits, 1996.

D. Weil, V. Bertin, E. Closse, M. Poize, P. Venier et al., Efficient compilation of ESTEREL for real-time embedded systems, Proceedings of the international conference on Compilers, architectures, and synthesis for embedded systems , CASES '00, pp.2-8, 2000.
DOI : 10.1145/354880.354882

I. Unité-de-recherche and . Lorraine, 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

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399