G. Berry, The Esterel v5 Language Primer, 2000.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The Synchronous Dataflow Programming Language Lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

K. Schneider, The Synchronous Programming Language Quartz, Internal Report, vol.375, 2009.

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6645

F. Rocheteau and N. Halbwachs, Pollux: a Lustre based Hardware Design Environment, " in Proceedings of the international workshop on Algorithms and parallel VLSI architectures II. Amsterdam, The Netherlands, The Netherlands, pp.335-346, 1992.

J. Almeida, M. Frade, J. Pinto, S. Melo, and . Sousa, An Overview of Formal Methods Tools and Techniques, " in Rigorous Software Development , ser. Undergraduate Topics in Computer Science, pp.15-44, 2011.

D. Harel and A. Pnueli, Logics and Models of Concurrent Systems, ser. NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems

A. Girault, A Survey of Automatic Distribution Method for Synchronous Programs, International Workshop on Synchronous Languages , Applications and Programs, SLAP'05, 2005.

G. Berry and E. Sentovich, An Implementation of Constructive Synchronous Programs in POLIS, Formal Methods in System Design, pp.135-161, 2000.

P. Caspi, A. Girault, and D. Pilaud, Distributing Reactive Systems, 7th International Conference on Parallel and Distributed Computing Systems, PDCS'94. Las Vegas (NV), USA: ISCA, 1994.

A. Girault and C. Ménier, Automatic Production of Globally Asynchronous Locally Synchronous Systems, International Workshop on Embedded Software, EMSOFT'02, pp.266-281, 2002.
DOI : 10.1007/3-540-45828-X_20

A. Girault, X. Nicollin, and M. Pouzet, Automatic rate desynchronization of embedded reactive programs, ACM Transactions on Embedded Computing Systems, vol.5, issue.3, pp.687-717, 2006.
DOI : 10.1145/1165780.1165786

D. Baudisch, J. Brandt, and K. Schneider, Dependency-Driven Distribution of Synchronous Programs, Distributed and Parallel Embedded Systems: International Federation for Information Processing, pp.169-180, 2010.
DOI : 10.1007/978-3-642-15234-4_17
URL : https://hal.archives-ouvertes.fr/hal-01054477

J. Brandt, M. Gemünde, K. Schneider, S. Shukla, and J. Talpin, Integrating System Descriptions by Clocked Guarded Actions, Forum on Specification and Design Languages, pp.1-8, 2011.

]. Z. Yang, J. Bodeveix, M. Filali, K. Hu, and D. Ma, A verified transformation, Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES '14, pp.128-137, 2014.
DOI : 10.1145/2609248.2609259
URL : https://hal.archives-ouvertes.fr/hal-01123837

J. Brandt, M. Gemünde, K. Schneider, S. Shukla, and J. Talpin, Embedding Polychrony into Synchrony, IEEE Transactions on Software Engineering, vol.39, issue.7, pp.917-929, 2013.
DOI : 10.1109/TSE.2012.85
URL : https://hal.archives-ouvertes.fr/hal-00763317

J. Carmona, J. Cortadella, M. Kishinevsky, and A. Taubin, Elastic Circuits Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.28, issue.10, pp.1437-1455, 2009.

J. Brandt, M. Gemünde, and K. Schneider, Desynchronizing Synchronous Programs by Modes, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.32-41, 2009.
DOI : 10.1109/ACSD.2009.24

D. Baudisch, Y. Bai, and K. Schneider, Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
DOI : 10.1109/PDP.2014.98

J. Brandt, K. Schneider, and Y. Bai, Passive code in synchronous programs, ACM Transactions on Embedded Computing Systems, vol.13, issue.2s, p.67, 2014.
DOI : 10.1145/2544375.2544387

P. , L. Guernic, and T. Gautier, Data-flow to von Neumann: the Signal Approach, " in Advanced topics in data-flow computing, pp.413-438, 1990.

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming Real-Time Applications with Signal, Proceedings of the IEEE, vol.79, issue.9, pp.1321-1336, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00540460

P. , L. Guernic, J. Talpin, and J. Lann, Polychrony for System Design, Journal of Circuits, Systems, and Computers, vol.12, issue.3, pp.261-304, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00730480

J. Talpin, J. Brandt, M. Gemünde, K. Schneider, and S. Shukla, Constructive Polychronous Systems, Logical Foundations of Computer Science (LFCS), ser, pp.335-349, 2013.
DOI : 10.1007/978-3-642-35722-0_24
URL : https://hal.archives-ouvertes.fr/hal-00763371

J. Brandt and K. Schneider, Separate Translation of Synchronous Programs to Guarded Actions, Internal Report, vol.382, issue.11, 2011.

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

A. Gamatié and T. Gautier, The Signal Synchronous Multi-Clock Approach to the Design of Distributed Embedded Systems Parallel and Distributed Systems, IEEE Transactions on, vol.21, issue.5, pp.641-657, 2010.

O. Maffe¨?smaffe¨?s and P. L. Guernic, Combining dependability with architectural adaptability by means of the signal language, Lecture Notes in Computer Science, vol.724, pp.99-110, 1993.
DOI : 10.1007/3-540-57264-3_32

B. Chéron, Transformations Syntaxiques de Programmes Signal

L. Besnard, T. Gautier, P. L. Guernic, and J. Talpin, Compilation of Polychronous Data Flow Equations, Synthesis of Embedded Software, pp.1-40, 2010.
DOI : 10.1007/978-1-4419-6400-7_1
URL : https://hal.archives-ouvertes.fr/inria-00540493

Y. Bai, J. Brandt, and K. Schneider, Monitoring distributed reactive systems, 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT), pp.84-91, 2012.
DOI : 10.1109/HLDVT.2012.6418247

O. Maffe¨?smaffe¨?s and P. L. Guernic, Distributed implementation of SIGNAL: Scheduling & graph clustering, Lecture Notes in Computer Science, vol.863, pp.547-566, 1994.
DOI : 10.1007/3-540-58468-4_183