K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, European Symposium on Programming (ESOP), 2003.
DOI : 10.1007/3-540-36575-3_13

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

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proc. of the IEEE, Special issue on embedded systems, pp.64-83, 2003.

J. Borrelly, E. Coste-manière, B. Espiau, K. Kapellos, R. Pissard-gibollet et al., The ORCCAD Architecture, The International Journal of Robotics Research, vol.17, issue.4, 1998.
DOI : 10.1177/027836499801700403
URL : https://hal.archives-ouvertes.fr/hal-00930119

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

A. Chakrabarti, L. De-alfaro, T. Henzinger, and F. Mang, Synchronous and Bidirectional Component Interfaces, CAV 02: Int. Conf. on Computer Aided Verification, 2002.
DOI : 10.1007/3-540-45657-0_34

P. Darondeau, Verification is autopsy. Personal communication, 29 oct, 2004.

A. Girault and E. Rutten, Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis, Proc. Ninth Int. 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

N. Halbwachs, Synchronous programming of reactive systems, a tutorial and commented bibliography, Tenth International Conference on Computer- Aided Verification, CAV'98, 1998.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

T. Henzinger, C. Kirsch, and B. Horowitz, Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, pp.84-99, 2003.
DOI : 10.1109/JPROC.2002.805825

L. J. Jagadeesan, C. Puchol, and J. V. Olnhausen, Safety property verification of Esterel programs and applications to telecommunications software, Computer Aided Verification, volume LNCS-939, pp.127-140, 1995.
DOI : 10.1007/3-540-60045-0_45

C. Kloukinas, C. Nakhli, and S. Yovine, A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications, Third International Conference on Embedded Software (EMSOFT 2003), volume LNCS- 2855, 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., 2003.
DOI : 10.1109/EMRTS.2003.1212754

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

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

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

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System: Theory and Applications, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand and E. Rutten, Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002, 2002.
DOI : 10.1109/EMRTS.2002.1019204
URL : https://hal.archives-ouvertes.fr/inria-00525533

D. Potop-butucaru and R. De-simone, Optimizations for faster execution of esterel programs, Proceedings of Formal Methods and Models for Codesign, MEMOCODE2003, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00618104

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

E. Rutten, Programmation sûre des systèmes de contrôle/commande : le séquencement de tâches flot de données dans les langages réactifs, 1999.

E. Rutten and H. Marchand, Automatic generation of safe handlers for multi-task systems, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00071252

.. Programming-multi-tasks-systems-with-nemo, 10 3.2 Resources: implicit properties, p.11

.. Preliminary, 18 4.1.1 Transition systems

M. Complete, 33 19 Compilation of Nemo: synchronous tools-based implementation, p.34

N. Example, 37 INRIA Unité de recherche INRIA Rhône-Alpes 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs, des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-l` es-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. Editeur and . De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399