A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, Lustre: A declarative language for programming synchronous systems, Proceedings POPL, 1987.
DOI : 10.1145/41625.41641

M. Herlihy and N. Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, 2008.
DOI : 10.1145/1146381.1146382

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

P. Koopman, A case study of Toyota unintended acceleration and software safety, 2014.

E. A. Lee, The Problem with Threads, Computer, vol.39, issue.5, pp.33-42, 2006.
DOI : 10.1109/MC.2006.180

P. Leguernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, 1991.
DOI : 10.1109/5.97301

X. Leroy, Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009.
DOI : 10.1145/1538788.1538814
URL : https://hal.archives-ouvertes.fr/inria-00415861

F. Mallet and R. De-simone, MARTE: A Profile for RT/E Systems Modeling, Analysis - and Simulation?, Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems, 2008.
DOI : 10.4108/ICST.SIMUTOOLS2008.3097
URL : https://hal.archives-ouvertes.fr/inria-00371397

A. Miné, Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs, Logical Methods in Computer Science, vol.8, issue.1, 2012.
DOI : 10.2168/LMCS-8(1:26)2012

J. Van-chan-ngo, T. Talpin, L. Gautier, P. L. Besnard, and . Guernic, Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools, Proceedings SCOPES, 2015.

D. Potop-butucaru and B. Caillaud, Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.1-27, 2006.
DOI : 10.1109/ACSD.2005.10

J. P. Talpin, J. Brandt, M. Gemünde, K. Schneider, and S. K. Shukla, Constructive polychronous systems, Science of Computer Programming, vol.96, pp.377-394, 2014.
DOI : 10.1016/j.scico.2014.04.009
URL : https://hal.archives-ouvertes.fr/hal-00763371

R. Von-hanxleden, B. Duderstadt, C. Motika, S. Smyth, M. Mendler et al., SCCharts: Sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts, Proceedings PLDI, 2014.