K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, Proceedings of the 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

R. Alur, O. Bournez, T. Dang, O. Maler, and A. Pnueli, Effective synthesis of switching controllers for linear systems, Proc. of the IEEE, vol.88, pp.1011-1025, 2000.

M. Baleani, A. Ferrari, L. Mangeruca, M. Peri, S. Pezzini et al., Fault-tolerant platforms for automotive safety-critical applications, Proceedings of the international conference on Compilers, architectures and synthesis for embedded systems , CASES '03, 2003.
DOI : 10.1145/951710.951734
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.8092

R. Bellman, Dynamic programming, 1957.

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

C. Bernardeschi, A. Fantechi, and L. Simoncini, Formally Verifying Fault Tolerant System Designs, The Computer Journal, vol.43, issue.3, 2000.
DOI : 10.1093/comjnl/43.3.191
URL : http://comjnl.oxfordjournals.org/cgi/content/short/43/3/191

G. Bruns and I. Sutherland, Model checking and fault tolerance, Proceedings 6th International Conference on Algebraic Methodology and Software Technology, AMAST'97, 1997.
DOI : 10.1007/BFb0000462

A. P. Chandrakasan, S. Sheng, and R. W. Broderson, Low-power CMOS digital design, IEEE Journal of Solid-State Circuits, vol.27, issue.4, pp.473-484, 1992.
DOI : 10.1109/4.126534
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.1616

K. Cho and J. Lim, Synthesis of fault-tolerant supervisor for automated manufacturing systems: A case study on photolothographic process, IEEE Trans. on Robotics and Automation, vol.14, issue.2, pp.348-351, 1998.

G. Delaval and E. Rutten, A domain-specific language for multi-task systems , applying discrete controller synthesisd, Journal on Embedded Systems (special issue on Synchronous Paradigm in Embedded Systems), 2007.

G. Delaval-andéricand´andéric-rutten, A domain-specific language for task handlers generation , applying discrete controller synthesis, Proc. of the 21st ACM Symp. on Applied Computing, SAC 06, 2006.

E. Dumitrescu, A. Girault, and E. Rutten, Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis, IFAC Workshop on Discrete Event Systems, WODES'04, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00419542

A. Girault-andéricand´andéric-rutten, Discrete controller synthesis for fault-tolerant distributed systems Pages 81?100, Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 04, 2004.

R. Guerraoui and A. Schiper, Consensus service: a modular approach for building agreement protocols in distributed systems, Proceedings of Annual Symposium on Fault Tolerant Computing, 1996.
DOI : 10.1109/FTCS.1996.534604

H. Marchand, Méthodes de synthèse d'automatismes décrits par des systèmessystèmes`systèmesà systèmesàévénéménts discrets finis, 1997.

P. Jalote, Fault-Tolerance in Distributed Systems, 1994.

R. Jensen, DES controller synthesis and fault tolerant control ? a survey of recent advances, 2003.

. Ch, S. Kloukinas, and . Yovine, Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems, 5th Euromicro Conference on Real- Time Systems (ECRTS'03), 2003.

J. Laprie, Dependability: Basic Concepts and Terminology. Dependable Computing and Fault-Tolerant Systems, 1992.
DOI : 10.1007/978-3-7091-9170-5_1

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

H. Marchand, O. Boivineau, and S. Lafortune, Optimal control of discrete event systems under partial observation, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001.
DOI : 10.1109/CDC.2001.980609
URL : https://hal.archives-ouvertes.fr/inria-00526273

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, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand and M. L. Borgne, On the optimal control of polynomial dynamical systems over z/pz, 4th IEE International Workshop on Discrete Event Systems, pp.385-390, 1998.

H. Marchand and E. Rutten, Managing multi-mode tasks with time cost and quality levels using optimal discrete controller synthesis, Euromicro Conference on Real- Time Systems, ECRTS'02, 2002.
DOI : 10.1109/emrts.2002.1019204
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.6332

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

J. Rushby, Critical system properties: Survey and taxonomy. Reliability Engineering and Systems Safety, pp.189-219, 1994.
DOI : 10.1016/0951-8320(94)90065-5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.7809

H. Schepers and J. Hooman, A trace-based compositional proof theory for fault tolerant distributed systems, Theoretical Computer Science, vol.128, issue.1-2, 1994.
DOI : 10.1016/0304-3975(94)90167-8
URL : http://doi.org/10.1016/0304-3975(94)90167-8

I. Unité-de-recherche and I. Rhône, Alpes 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès

I. Unité-de-recherche and . 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 INRIA Sophia Antipolis, 2004.