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

E. Clarke, O. Grumber, and D. Long, « Verification tools for finite-state concurrent systems », LNCS : A Decade of Concurrency, Proc REX School/Symp, vol.803, pp.124-175, 1994.

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

S. Edwards, Compiling Esterel into Sequential Code, Proceedings of the 7th International Workshop on Hardware/Software Codesign (CODES 99), pp.147-151, 1999.

S. A. Edwards and E. A. Lee, The semantics and execution of a synchronous block-diagram language, Science of Computer Programming, vol.48, issue.1, pp.21-42, 2003.
DOI : 10.1016/S0167-6423(02)00096-5

N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic, 1993.

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

C. Huizing and R. Gerth, Semantics of Reactive Systems in Abstract Time », Real Time : Theory in Practice, Proc of REX workshop, W.P. de Roever and G. Rozenberg Eds, pp.291-314, 1991.

R. Lublinerman, C. Szegedy, and S. Tripakis, « Modular Code Generation from Synchronous Block Diagrams : Modularity vs, Reusability », ACM Symposium on Principles of Programming Languages(POPL'09), 2009.

R. Lublinerman, S. Tripakis, and . Modularity-vs, Reusability : Code Generation from Synchronous Block Diagrams, Europe, issue.DATE08, 2008.

G. H. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1080, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

E. F. Moore, « Gedanken-experiments on sequential machines », Automata Studies, 1956.

N. Halbwachs, F. L. Ratel, and C. , Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre », Special Issue on the Specification and Analysis of Real-Time Systems, IEEE Transactions on Software Engineering, 1992.

D. Nowak, J. Talpin, T. Gautier, and P. L. Guernic, « An ML-like module system for the synchronous language Signa, European Conference on Parallel Processing (Euro-Par'97, pp.1244-1252, 1997.

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

P. Raymond, « Compilation Séparée de Programmes Lustre », Master's thesis, IMAG, 1988.

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 », From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP International Federation for Information Processing, pp.75-84, 2006.

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955.
DOI : 10.2140/pjm.1955.5.285

T. I. Kirkpatrick and C. N. , 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, Separate Compilation for Synchronous Modules », Embedded Software and Systems SERVICE ÉDITORIAL ? HERMES-LAVOISIER 14 rue de Provigny, F-94236 Cachan cedex Tél, pp.129-140, 2005.
DOI : 10.1007/11599555_15

T. De-l, Article, Canadian Journal of Physics, vol.76, issue.2
DOI : 10.1139/p97-048

F. De, Retourner le formulaire de copyright signé par les auteurs, téléchargé sur : http://www.revuesonline.com SERVICE ÉDITORIAL ? HERMES-LAVOISIER 14 rue de Provigny, F-94236 Cachan cedex Tél, pp.1-47