D. Potop-butucaru, R. De-simone, and J. Talpin, The synchronous hypothesis and synchronous languages, in: The Embedded Systems Handbook, pp.1-21, 2005.

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

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

K. Schneider, The synchronous programming language quartz, 2009.

P. Leguernic, T. Gautier, M. Le-borgne, and C. L. Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, vol.79, issue.9, pp.1321-1336, 1991.
DOI : 10.1109/5.97301

W. Tsai, X. Sun, Q. Huang, and H. Karatza, An ontology-based collaborative service-oriented simulation framework with Microsoft Robotics Studio??, Simulation Modelling Practice and Theory, vol.16, issue.9, pp.1392-1414, 2008.
DOI : 10.1016/j.simpat.2008.07.007

P. , L. Guernic, J. Talpin, and J. Lann, Polychrony for system design, J. Circ. Syst. Comput, vol.12, issue.03, pp.261-303, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00730480

T. P. Amagbegnon, L. Besnard, and P. L. Guernic, Arborescent canonical form of boolean expressions, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074382

P. Amagbégnon, L. Besnard, and P. L. Guernic, Implementation of the data-flow synchronous language SIGNAL, ACM SIGPLAN Notices, vol.30, issue.6, pp.163-173, 1995.
DOI : 10.1145/223428.207134

A. Gamatié, T. Gautier, and P. L. Guernic, Toward static analysis of SIGNAL programs using interval techniques, Synchronous Languages, Applications, and Programming, 2006.

P. Feautrier, A. Gamatié, and L. Gonnord, Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction, Tech. Rep. 2nd Version, 2013.

M. Nebut, Specification and analysis of synchronous reactions, Formal Aspects Comput, pp.263-291, 2004.

L. Besnard, T. Gautier, and J. Talpin, Code generation strategies in the Polychrony environment, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00372412

L. Besnard, T. Gautier, and P. L. Guernic, Signal v4-inria version: Reference manual, 2004.

Z. Yang, J. Bodeveix, and M. Filali, A comparative study of two formal semantics of the SIGNAL language, Frontiers of Computer Science, vol.7, issue.4, pp.673-693, 2013.
DOI : 10.1007/s11704-013-3908-2
URL : https://hal.archives-ouvertes.fr/hal-01154264

M. Nebut, An Overview of the Signal Clock Calculus, Electronic Notes in Theoretical Computer Science, vol.88, pp.39-54, 2004.
DOI : 10.1016/j.entcs.2003.05.005

H. Yu, Y. Ma, T. Gautier, L. Besnard, P. L. Guernic et al., Polychronous modeling, analysis, verification and simulation for timed software architectures, Journal of Systems Architecture, vol.59, issue.10, pp.1157-1170, 2013.
DOI : 10.1016/j.sysarc.2013.08.004
URL : https://hal.archives-ouvertes.fr/hal-00916418

C. Brunette, J. Talpin, A. Gamatié, and T. Gautier, A metamodel for the design of polychronous systems, {IFIP} WG1.8 Workshop on Applying Concurrency Research in Industry, pp.233-259, 2009.
DOI : 10.1016/j.jlap.2008.11.005
URL : https://hal.archives-ouvertes.fr/hal-00788580

A. Gamatié and T. Gautier, Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL, Proceedings of SLAP03, ENTCS, 2003.
DOI : 10.1016/j.entcs.2003.05.002

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic Systems, vol.10, issue.4, pp.325-346, 2000.
DOI : 10.1023/A:1008311720696
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Yu, Y. Ma, T. Gautier, L. Besnard, J. Talpin et al., Exploring system architectures in AADL via Polychrony and SynDEx, Frontiers of Computer Science, vol.38, issue.2, pp.627-649, 2013.
DOI : 10.1007/s11704-013-2307-z
URL : https://hal.archives-ouvertes.fr/hal-00916445

A. Kountouris and P. L. Guernic, Profiling of SIGNAL programs and its application in the timing evaluation of design implementations, IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems, 1996.
DOI : 10.1049/ic:19960225
URL : https://hal.archives-ouvertes.fr/hal-00544253

H. Yu, Y. Ma, Y. Glouche, J. Talpin, L. Besnard et al., System-level co-simulation of integrated avionics using polychrony, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, pp.354-359, 2011.
DOI : 10.1145/1982185.1982263
URL : https://hal.archives-ouvertes.fr/inria-00536907

S. B. Akers, Binary Decision Diagrams, IEEE Transactions on Computers, vol.27, issue.6, pp.509-516, 1978.
DOI : 10.1109/TC.1978.1675141

J. Talpin, J. Ouy, T. Gautier, L. Besnard, and P. L. Guernic, Compositional design of isochronous systems, Science of Computer Programming, vol.77, issue.2, pp.113-128, 2012.
DOI : 10.1016/j.scico.2010.06.006
URL : https://hal.archives-ouvertes.fr/inria-00156499

A. Gamatié, Designing Embedded Systems with the SIGNAL Programming Language, p.29, 2010.
DOI : 10.1007/978-1-4419-0941-1

G. Berry, The foundations of esterel, Proof, Language, and Interaction, pp.425-454, 2000.

G. Berry, The Esterel v5 language primer: version v5_91, 2000.

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

B. Barras, S. Boutin, and C. Cornes, The Coq Proof Assistanct Reference Manual Version 6, 1997.

D. Potop-butucaru, B. Caillaud, and A. Benveniste, Concurrency in Synchronous Systems, Formal Methods in System Design, vol.18, issue.2, pp.111-130, 2006.
DOI : 10.1007/s10703-006-7844-8
URL : https://hal.archives-ouvertes.fr/inria-00124252

B. A. Jose, S. K. Shukla, H. D. Patel, and J. Talpin, On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, pp.129-138, 2008.
DOI : 10.1109/MEMCOD.2008.4547700

D. Potop-butucaru, Y. Sorel, R. De-simone, and J. Talpin, From concurrent multi-clock programs to deterministic asynchronous implementations, Fundam, Inform, vol.108, issue.1, pp.91-118, 2011.

K. Hu, T. Zhang, and Z. Yang, Multi-threaded code generation from Signal program to OpenMP, Frontiers of Computer Science, vol.108, issue.1, pp.617-626, 2013.
DOI : 10.1007/s11704-013-3906-4

Z. Yang, J. Bodeveix, and M. Filali, Multi-core code generation from polychronous programs with time-predictable properties, Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01150341