G. Andrews, Concurrent Programming: Principles and Practice, 1991.

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, Constructive semantics of Esterel: From theory to practice (abstract), AMAST '96: Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, p.225, 1996.
DOI : 10.1007/BFb0014318

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

M. Boldt, C. Traulsen, and R. Von-hanxleden, Worst Case Reaction Time Analysis of Concurrent Reactive Programs, Electronic Notes in Theoretical Computer Science, vol.203, issue.4, pp.65-79, 2008.
DOI : 10.1016/j.entcs.2008.05.011

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

F. Boussinot, Reactive shared variables based systems, 1993.

F. Boussinot and R. De-simone, The SL synchronous language, IEEE Transactions on Software Engineering, vol.22, issue.4, pp.256-266, 1996.
DOI : 10.1109/32.491649
URL : https://hal.archives-ouvertes.fr/inria-00074168

B. Cogswell and Z. Segall, MACS: a predictable architecture for real time systems, [1991] Proceedings Twelfth Real-Time Systems Symposium, 1991.
DOI : 10.1109/REAL.1991.160386

S. A. Edwards and E. A. Lee, The case for the precision timed (PRET) machine, Proceedings of the 44th annual conference on Design automation SESSION: Wild and crazy ideas (WACI), pp.264-265, 2007.

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

X. Li, M. Boldt, and R. Von-hanxleden, Mapping esterel onto a multi-threaded embedded processor, ACM SIGARCH Computer Architecture News, vol.34, issue.5, pp.303-314, 2006.
DOI : 10.1145/1168919.1168896

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

H. D. Patel, B. Lickly, B. Burgers, and E. A. Lee, A timing requirementsaware scratchpad memory allocation scheme for a precision timed architecture, 2008.

G. Plotkin, A Structural Approach to Operational Semantics, 1981.

P. Roop, Z. Salcic, and M. Dayaratne, Towards direct execution of esterel programs on reactive processors, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, 2004.
DOI : 10.1145/1017753.1017793

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, p.9, 2009.
DOI : 10.1145/1629395.1629424

Z. Salcic, P. Roop, M. Biglari-abhari, and A. Bigdeli, REFLIX: A Processor Core for Reactive Embedded Applications, 12th International Conference on Filed Programmable Logic and Applications (FPL-02), 2002.
DOI : 10.1007/3-540-46117-5_97

M. Schoeberl, Time-Predictable Computer Architecture, EURASIP Journal on Embedded Systems, vol.23, issue.4, 2009.
DOI : 10.1109/40.592314
URL : http://doi.org/10.1155/2009/758480

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

R. Von-hanxleden, SyncCharts in C, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, 2008.
DOI : 10.1145/1629335.1629366

L. Yoong, P. S. Roop, V. Vyatkin, and Z. Salcic, A Synchronous Approach for IEC 61499 Function Block Implementation, IEEE Transactions on Computers, vol.58, issue.12, 2009.
DOI : 10.1109/TC.2009.128

S. Yuan, S. Andalam, L. Yoong, P. S. Roop, and Z. Salcic, STARPro ??? A new multithreaded direct execution platform for Esterel, Model-driven High-level Programming of Embedded Systems (SLA++P'08), 2008.
DOI : 10.1016/j.entcs.2008.01.005

P. Example, 20 5 TCCFG example for illustrating the semantics, p.23