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. 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.

A. Stephen, E. A. Edwards, and . Lee, The semantics and execution of a synchronous block-diagram language, Science of Computer Programming, vol.48, issue.1, pp.21-42, 2003.

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.

R. Lublinerman and S. Tripakis, Modularity vs. reusability, Proceedings of the conference on Design, automation and test in Europe, DATE '08, 2008.
DOI : 10.1145/1403375.1403736

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

A. Ressouche, D. Gaffé, and V. Roy, Modular Compilation of a Synchronous Language, Research Report, vol.6424, 2008.
DOI : 10.1007/978-3-540-70561-1_12
URL : https://hal.archives-ouvertes.fr/inria-00213472

K. Schneider, J. Brand, and E. Vecchié, Modular compilation of synchronous programs In From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP International Federation for Information Processing, pp.75-84, 2006.

T. I. Kirkpatrick and N. R. Clark, Pert as an Aid to Logic Design, IBM Journal of Research and Development, vol.10, issue.2, pp.135-141, 1966.
DOI : 10.1147/rd.102.0135

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

J. Zeng1 and S. A. Edwards, Separate Compilation for Synchronous Modules, Embedded Software and Systems, pp.129-140, 2005.
DOI : 10.1007/11599555_15