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

K. Altisen, A. Clodic, and F. Maraninchi, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, Proceedings of European Symposium on Programming (ESOP '03), 2003.
DOI : 10.1007/3-540-36575-3_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.2186

J. B-o-r-r-e-l-l-y, E. C-o-s-t-e-m-a-n-i-`-ere, and B. Espiau, The ORC- CAD architecture Programmation s ? ure des systèmes de contrôlecontr?contrôle/ commande: le séquencement de tâches flot de données dans les langages réactifs, International Journal of Robotics Research, vol.17, issue.4, pp.338-359, 1998.

F. Maraninchi and Y. Rémond, Effective programming language support for discrete-continuous modeswitching control systems, Proceedings of the 40th IEEE Conference on Decision and Control (CDC '01), pp.3296-3301, 2001.
DOI : 10.1109/cdc.2001.980330

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.173-182, 2005.
DOI : 10.1145/1086228.1086261

F. Cassez and O. Roux, Compilation of the ELECTRE reactive language into finite transition systems, Theoretical Computer Science, vol.146, issue.1-2, pp.109-143, 1995.
DOI : 10.1016/0304-3975(94)00136-7

K. Altisen, G. Gößler, and J. Sifakis, Scheduler modelling based on the controller synthesis paradigm, Real-Time Systems, vol.23, issue.1/2, pp.55-84, 2002.
DOI : 10.1023/A:1015346419267

N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic, 1993.

N. Halbwachs, Synchronous programming of reactive systems, Proceedings of the 10th International Conference on Computer Aided Verification (CAV '98), pp.1-16, 1998.
DOI : 10.1007/BFb0028726

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6645

P. and L. Guernic, Compilation involving model-checking and controller synthesis, 1996.

D. Potop-butucaru and R. De-simone, Optimizations for faster execution of Esterel programs, Proceedings of the 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE '03), pp.227-236, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00618104

A. Chakrabarti, L. De-alfaro, T. Henzinger, and F. Mang, Synchronous and Bidirectional Component Interfaces, Proceedings of the 14th International Conference on Computer Aided Verification (CAV '02), pp.414-427, 2002.
DOI : 10.1007/3-540-45657-0_34
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.266

G. Berry, The foundations of Esterel, Proof, Language, and Interaction, pp.425-454, 2000.

E. Costemanì-ere and N. Turro, The MAESTRO language and its environment: specification, validation and control of robotic missions, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '97, pp.836-841, 1997.

P. Darondeau, Verification is autopsy, 2004.

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment Discrete Event Dynamic Systems: Theory and Applications Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis, Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS '02), pp.325-346, 2000.

C. Kloukinas, C. Nakhli, and S. Yovine, A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications, Proceedings of the 3rd International Conference on Embedded Software (EMSOFT '03), pp.274-289, 2003.
DOI : 10.1007/978-3-540-45212-6_18

C. Kloukinas and S. Yovine, Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., pp.287-294, 2003.
DOI : 10.1109/EMRTS.2003.1212754

G. Rutten, A domain-specific language for task handlers generation, applying discrete controller synthesis, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC '06), pp.901-905, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000865

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93), pp.83-96, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

L. J. Jagadeesan, C. Puchol, and J. V. Olnhausen, Safety property verification of Esterel programs and applications to telecommunications software, Proceedings of the 7th International Conference on Computer Aided Verification (CAV '95), pp.127-140, 1995.
DOI : 10.1007/3-540-60045-0_45

A. Girault and . Rutten, Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis, Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), 2004.
DOI : 10.1016/j.entcs.2004.08.059
URL : https://hal.archives-ouvertes.fr/hal-00375564