S. Abramsky, S. J. Gay, and R. Nagarajan, Interaction Categories and the Foundations of Typed Concurrent Programming, Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School. Nato Asi Series F, 1996.
DOI : 10.1007/978-3-642-61455-2_10

T. P. Amagbegnon, L. Besnard, L. Guernic, and P. , Implementation of the data-flow synchronous language Signal, Conference on Programming Language Design and Implementation, 1995.
URL : https://hal.archives-ouvertes.fr/hal-00544128

J. Hoe and A. , Synthesis of Operation-Centric Hardware Descriptions, Proceedings of International Conference on Computer Aided Design, 2000.

A. Benveniste, P. Caspi, L. P. Carloni, and A. L. Sangiovanni-vincentelli, Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment, Embedded Software Conference, 2003.
DOI : 10.1007/978-3-540-45212-6_4
URL : https://hal.archives-ouvertes.fr/inria-00071682

A. Benveniste, P. Caspi, L. Guernic, P. Marchand, H. Talpin et al., A Protocol for Loosely Time-Triggered Architectures, Embedded Software Conference. Lecture Notes in Computer Science, 2002.
DOI : 10.1007/3-540-45828-X_19
URL : https://hal.archives-ouvertes.fr/inria-00526261

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, p.19, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, International Journal of Computer Simulation, special issue on " Simulation Software Development " v. 4, pp.155-182, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

L. P. Carloni, K. L. Mcmillan, and A. L. Sangiovanni-vincentelli, Latency Insensitive Protocols, Proceedings of the 11th. International Conference on Computer-Aided Verification. Lecture notes in computer science v. 1633, 1999.
DOI : 10.1007/3-540-48683-6_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.2855

E. Dijkstra, A Discipline of Programming, 1976.

D. Alfaro, L. Henzinger, and T. A. , Interface Theories for Component-Based Design, International Workshop on Embedded Software. Lecture Notes in Computer Science v. 2211, 2001.
DOI : 10.1007/3-540-45449-7_11

F. Doucet, S. Shukla, and R. Gupta, Typing abstractions and management in a component framework, Asia and South Pacific Design Automation Conference, 2003.

C. Hoare, Communicating sequential processes, 1985.

R. Jeffords and C. Heitmeyer, A Strategy for Efficiently Verifying Requirements Specifications Using Composition and Invariants, Symposium on the Foundations of Software Engineering, 2003.

G. Kahn, The semantics of a simple language for parallel programming, Ifip Congress, 1974.

E. A. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE transactions on computer-aided design, p.12, 1998.
DOI : 10.1109/43.736561

L. Guernic, P. Talpin, J. Le-lann, and J. , POLYCHRONY for System Design, Journal of Circuits, Systems and Computers. Special Issue on Application-Specific Hardware Design, 2002.
DOI : 10.1142/S0218126603000763
URL : https://hal.archives-ouvertes.fr/hal-00730480

H. Marchand, P. Bournai, L. Borgne, M. , L. Guernic et al., Synthesis of Discrete-Event Controllers based on the Signal Environment, Discrete Event Dynamic System: Theory and Applications, v, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand, E. Rutten, M. L. Borgne, and M. Samaan, Formal verification of programs specified with signal: application to a power transformer station controller, Science of Computer Programming, vol.41, issue.1, pp.85-104, 2001.
DOI : 10.1016/S0167-6423(00)00020-4
URL : https://hal.archives-ouvertes.fr/inria-00526287

M. Mousavi, R. , L. Guernic, P. Talpin, J. Shukla et al., Modeling and validation of asynchronous systems in synchronous frameworks, Digital Automation and Test Europe, 2004.

D. Novillo, Tree SSA, a new optimization infrastructure for GCC " . GCC developers summit, 2003.

D. Nowak, J. Beauvais, and J. Talpin, Co-inductive axiomatization of a synchronous language, International Conference on Theorem Proving in Higher-Order Logics. Lecture Notes in Computer Science, 1998.
DOI : 10.1007/BFb0055148
URL : https://hal.archives-ouvertes.fr/hal-00544505

D. Nowak, J. Talpin, L. Guernic, and P. , Synchronous structures, International Conference on Concurrency Theory, 1999.

A. Pnueli, N. Shankar, and E. Singerman, Fair synchronous transition systems and their liveness proofs. International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems. Lecture Notes in Computer Science v. 1468, 1998.

S. K. Rajamani and J. Rehof, A Behavioral Module System for the Pi-Calculus, Static Analysis Symposium. Lecture Notes in Computer Science, 2001.
DOI : 10.1007/3-540-47764-0_22

J. Talpin, A. Gamatié, L. Dez, B. Berner, D. et al., Hard real-time implementation of embedded systems in JAVA, International Workshop on Scientific Engineering of Distributed JAVA Applications. Lecture Notes in Computer Science, 2003.

J. Talpin, P. Le-guernic, S. K. Shukla, R. Gupta, and F. Doucet, Polychrony for formal refinement-checking in a system-level design methodology Application of Concurrency to System Design, 2003.

I. Unité-de-recherche, . Lorraine, and . Technopôle-de-nancy-brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 2004.