S. Andalam, P. Roop, A. Girault, and C. Traulsen, PRET- C: A new language for programming precision timed architectures, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00391621

C. André, Semantics of SyncCharts, 2003.

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

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

F. Boussinot, Reactive C: An extension of C to program reactive systems. Software Practice and Experience, pp.401-428, 1991.

A. Dunkels, O. Schmidt, T. Voigt, and M. Ali, Protothreads, Proceedings of the 4th international conference on Embedded networked sensor systems , SenSys '06, 2006.
DOI : 10.1145/1182807.1182811

S. A. Edwards and J. Zeng, Code generation in the Columbia Esterel Compiler, EURASIP Journal on Embedded Systems, 2007.

L. Lavagno and E. Sentovich, ECL, Proceedings of the 36th ACM/IEEE conference on Design automation conference , DAC '99, 1999.
DOI : 10.1145/309847.309989

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

M. Mendler, R. Von-hanxleden, and C. Traulsen, WCRT algebra and interfaces for esterel-style synchronous processing, 2009 Design, Automation & Test in Europe Conference & Exhibition, 2009.
DOI : 10.1109/DATE.2009.5090639

P. S. Roop, S. Andalam, R. Von-hanxleden, S. Yuan, and C. Traulsen, Tight WCRT analysis of synchronous C programs, Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems, CASES '09, 2009.
DOI : 10.1145/1629395.1629424

F. Vahid and T. Givargis, Embedded System Design, 2002.

R. Von-hanxleden, SyncCharts in C -A Proposal for Light-Weight Deterministic Concurrency, ACM Embedded Software Conference (EMSOFT), pp.11-16, 2009.