A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

L. Besnard, T. Gautier, M. Moy, J. Talpin, K. Johnson et al., Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form, Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09), 2009.
URL : https://hal.archives-ouvertes.fr/inria-00400272

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

M. Bordin and F. Gasperoni, Towards verifying model compilers, 5th International Congress and exhibition ERTS2, 2010.

M. Bordin, T. Naks, A. Toom, and M. Pantel, Compilation of heterogeneous models: Motivations and challenges, European symposium on Real Time Software and Systems (ERTS), pp.8-9, 2008.

A. Burns, The Ravenscar Profile, ACM SIGAda Ada Letters, vol.XIX, issue.4, pp.49-52, 1999.
DOI : 10.1145/340396.340450

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

B. James, . Dabney, L. Thomas, and . Harman, Mastering simulink, 2004.

C. Demetrescu and G. F. Italiano, Dynamic shortest paths and transitive closure: Algorithmic techniques and data structures, Journal of Discrete Algorithms, vol.4, issue.3, pp.353-383, 2006.
DOI : 10.1016/j.jda.2005.12.003

F. Dormoy, Scade 6: a model based solution for safety critical software development, Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS'08), pp.1-9, 2008.

H. Peter, . Feiler, P. David, J. J. Gluch, and . Hudak, The architecture analysis & design language (AADL): An introduction, 2006.

O. Feki, T. Grandpierre, M. Akil, N. Masmoudi, and Y. Sorel, SynDEx-Mix: A hardware/software partitioning CAD tool, 2014 15th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering (STA), pp.247-252, 2014.
DOI : 10.1109/STA.2014.7086726

S. Friedenthal, A. Moore, and R. Steiner, A practical guide to SysML: the systems modeling language Use of formal methods for building qualified code generator for safer automotive systems, Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety, pp.53-56, 2010.

N. Izerrouken, X. Thirioux, M. Pantel, and M. Strecker, Certifying an Automated Code Generator Using Formal Tools : Preliminary Experiments in the GeneAuto Project, European Congress on Embedded Real-Time Software (ERTS), pp.29-30, 2008.

U. Khedker, A. Sanyal, and B. Sathe, Data flow analysis: theory and practice, 2009.
DOI : 10.1201/9780849332517

C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine, The syndex software environment for real-time distributed systems design and implementation, European Control Conference, pp.1684-1689, 1991.

A. Lenart, C. Sadler, K. S. Sandeep, and . Gupta, SSA-based flow-sensitive type analysis, Proceedings of the 2000 ACM symposium on Applied computing , SAC '00, pp.813-817, 2000.
DOI : 10.1145/338407.338570

Y. Ma, J. Talpin, and T. Gautier, Virtual prototyping AADL architectures in a polychronous model of computation, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, pp.139-148, 2008.
DOI : 10.1109/MEMCOD.2008.4547701
URL : https://hal.archives-ouvertes.fr/inria-00265059

M. Misra, Guidelines for the use of the C Language in vehicle based software. Motor Industry Research Association, 1998.

J. Vidal, F. De-lamotte, G. Gogniat, P. Soulard, and J. Diguet, A codesign approach for embedded system modeling and code generation with UML and MARTE, Design, Automation & Test in Europe Conference & Exhibition, pp.226-231, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00369036