S. Andalam, P. S. Roop, A. Girault, and C. Traulsen, A Predictable Framework for Safety-Critical Embedded Systems, IEEE Transactions on Computers, vol.63, issue.7, pp.1600-1612, 2014.
DOI : 10.1109/TC.2013.28
URL : https://hal.archives-ouvertes.fr/hal-01095468

C. André, F. Boulanger, and A. Girault, Software implementation of synchronous programs, Proceedings Second International Conference on Application of Concurrency to System Design, pp.133-142, 2001.
DOI : 10.1109/CSD.2001.981771

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The Synchronous Languages Twelve Years Later, Proc. IEEE, Special Issue on Embedded Systems, pp.64-83, 2003.
DOI : 10.1109/jproc.2002.805826
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6645

G. Berry, S. Ramesh, and R. K. Shyamasundar, Communicating reactive processes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.85-98, 1993.
DOI : 10.1145/158511.158526
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.7059

G. Berry, The Esterel v5 Language Primer, Version v5 91 Centre de Mathématiques Appliquées Ecole des Mines and INRIA, 06565 Sophia- Antipolis, 2000.

V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis et al., TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), pp.2875-2880, 2001.
DOI : 10.1109/CDC.2001.980712

T. Bourke and M. Pouzet, Z??lus, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.113-118, 2013.
DOI : 10.1145/2461328.2461348

T. Bourke and A. Sowmya, Delays in Esterel, SYNCHRON'09?Proceedings of Dagstuhl Seminar 09481, number 09481 in Dagstuhl Seminar Proceedings. Internationales Begegnungsund Forschungszentrum (IBFI), Schloss Dagstuhl, pp.22-27, 2009.

J. Eidson, E. A. Lee, S. Matic, S. Seshia, and J. Zou, Distributed Real-Time Software for Cyber–Physical Systems, Proceedings of the IEEE, vol.100, issue.1, pp.45-59, 2012.
DOI : 10.1109/JPROC.2011.2161237

T. A. Henzinger, B. Horowitz, and C. M. Kirsch, Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, vol.91, issue.1, pp.84-99, 2003.
DOI : 10.1109/JPROC.2002.805825
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8770

M. Jourdan, F. Maraninchi, and A. Olivero, Verifying quantitative realtime properties of synchronous programs, Proceedings of Computer Aided Verification (CAV'93), pp.347-358, 1993.
DOI : 10.1007/3-540-56922-7_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.1173

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

B. Lickly, I. Liu, S. Kim, H. D. Patel, S. A. Edwards et al., Predictable programming on a precision timed architecture, Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems, CASES '08, 2008.
DOI : 10.1145/1450095.1450117
URL : http://academiccommons.columbia.edu/download/fedora_content/download/ac:138906/CONTENT/lickly2008predictable.pdf

F. Mallet, R. De, and S. , Correctness issues on MARTE/CCSL constraints, Science of Computer Programming, vol.106, pp.78-92, 2015.
DOI : 10.1016/j.scico.2015.03.001
URL : https://hal.archives-ouvertes.fr/hal-01257978

B. Rajan and R. K. Shyamasundar, Multiclock Esterel: a reactive framework for asynchronous design, Proceedings 14th International Parallel and Distributed Processing Symposium. IPDPS 2000, pp.201-210, 2000.
DOI : 10.1109/IPDPS.2000.845982
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.3080

. Reinhard-von-hanxleden, SyncCharts in C?A Proposal for Light- Weight, Deterministic Concurrency, Proc. Int'l Conference on Embedded Software (EMSOFT'09), pp.225-234, 2009.

E. Yip, A. Girault, P. Roop, and M. Biglari-abhari, The ForeC Synchronous Deterministic Parallel Programming Language for Multicores, 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC), 2016.
DOI : 10.1109/MCSoC.2016.13
URL : https://hal.archives-ouvertes.fr/hal-01412102