G. [. Benveniste and . Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

]. A. Bce-+-03, P. Benveniste, S. A. Caspi, N. Edwards, P. Halbwachs et al., The synchronous languages 12 years later, Proceedings of The IEEE, pp.64-83, 2003.

. Bgm-+-08-]-l, T. Besnard, F. Gautier, M. Maraninchi, J. Moy et al., Comparative study of approaches to semantics extraction and virtual prototyping of system-level models, 2008.

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

. Cfr-+-91-]-r, J. Cytron, B. Ferrante, M. Rosen, F. Wegman et al., Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.13, issue.4, pp.451-490, 1991.

]. P. Herber, J. Fellmuth, and S. Glesner, Validation de modèles de systèmes sur puce en présence d'ordonnancements indéterministes et de temps imprécis Model checking SystemC designs using timed automata, Proceedings of the 2003 GCC Developers Summit CODES/ISSS '08: Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis. Pp, pp.131-136, 2003.

]. Inra, . Inria-espresso, and . Team, Polychrony tool

]. Inrb and . Vertecs, Espresso Teams. Sigali tool

J. [. Kalla, D. Talpin, L. Berner, and . Besnard, Automated translation of C/C++ models into a synchronous formalism, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06), pp.426-436, 2006.
DOI : 10.1109/ECBS.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00546021

[. Guernic, 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
URL : https://hal.archives-ouvertes.fr/inria-00075114

[. Guernic, J. Talpin, and J. Lann, POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.261-304, 2003.
DOI : 10.1142/S0218126603000763
URL : https://hal.archives-ouvertes.fr/hal-00730480

M. Moy, F. Maraninchi, and L. Maillet-contoz, Pinapa, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.317-324, 2005.
DOI : 10.1145/1086228.1086286
URL : https://hal.archives-ouvertes.fr/hal-00198669

M. Moy, F. Maraninchi, L. Maillet-contozmr, ]. H. Marchand, and E. Rutten, LusSy: an open Tool for the Analysis of Systems-on-a-Chip at the Transaction Level. Design Automation for Embedded Systems, 2006. special issue on SystemC-based systems
URL : https://hal.archives-ouvertes.fr/hal-00310999

S. [. Qadeer, J. Rajamani, and . Rehof, Summarizing procedures in concurrent programs [The] The Tree SSA project. Tree-SSA, POPL '04: Proceedings of the 31st symposium on Principles of programming languages, pp.245-255, 2004.

G. [. Tabakov, M. Kamhi, E. Vardi, and . Singerman, A Temporal Language for SystemC, 2008 Formal Methods in Computer-Aided Design, pp.1-9, 2008.
DOI : 10.1109/FMCAD.2008.ECP.26

J. Talpin, P. Le-guernic, S. K. Shukla, and R. Gupta, A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking, International Journal of Parallel Programming, vol.33, issue.6, pp.613-643, 2005.
DOI : 10.1007/s10766-005-8907-y
URL : https://hal.archives-ouvertes.fr/hal-00541986