S. Aboubekr, G. Delaval, R. Pissard-gibollet, E. Rutten, and D. Simon, Automatic generation of discrete handlers of real-time continuous control tasks, Proc. 18th World Congress of the International Federation of Automatic Control (IFAC), pp.786-793, 2011.
DOI : 10.3182/20110828-6-IT-1002.01548

URL : https://hal.archives-ouvertes.fr/inria-00498394

K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using controller synthesis to build propertyenforcing layers, European Symposium on Programming, pp.126-141, 2003.

A. Auer, J. Dingel, and K. Rudie, Concurrency control generation for dynamic threads using discreteevent systems, Communication, Control, and Computing 47th Annual Allerton Conference on, pp.927-934, 2009.

A. Benveniste, B. Caillaud, and R. Passerone, A generic model of contracts for embedded systems, Res. Rep. RR-6214, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00153477

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

R. Bodik, S. Chandra, J. Galenson, D. Kimelman, N. Tung et al., Programming with angelic nondeterminism, Principles of Programming Languages, POPL, pp.339-352, 2010.

T. Bouhadiba, Q. Sabah, G. Delaval, and E. Rutten, Synchronous control of reconfiguration in fractal component-based systems ? a case study, Int. Conf. on Embedded Software. EMSOFT 2011, pp.309-318, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00596883

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2007.

F. Cassez, A. David, E. Fleury, K. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, Conf. on Concurrency Theory (CONCUR), pp.66-80, 2005.
DOI : 10.1007/11539452_9

URL : https://hal.archives-ouvertes.fr/hal-00350475

A. Chakrabarti, L. De-alfaro, T. A. Henzinger, and F. Y. Mang, Synchronous and Bidirectional Component Interfaces, Computer Aided Verification, pp.414-427, 2002.
DOI : 10.1007/3-540-45657-0_34

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

G. Delaval, H. Marchand, and E. Rutten, Contracts for modular discrete controller synthesis, Languages, Compilers and Tools for Embedded Systems, pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00436560

G. Delaval and E. Rutten, Reactive model-based control of reconfiguration in the Fractal componentbased model, Component Based Software Engineering, pp.93-112, 2010.

M. H. Dequeiroz and J. E. Cury, Synthesis and implementation of local modular supervisory control for a manufacturing cell, Proceedings of the 6th International Workshop on Discrete Event Systems, pp.377-382, 2002.

C. Dragert, J. Dingel, and K. Rudie, Generation of concurrency control code using discrete-event systems theory, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.146-157, 2008.
DOI : 10.1145/1453101.1453122

G. Hamon, Calcul d'horloge et structures de contrôle dans Lucid Synchrone, un langage de flots synchrones à la ML, Univ. P. et M. Curie, 2002.

D. Harel, H. Kugler, and A. Pnueli, Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements, Formal Methods in Software and Systems Modeling, pp.309-324, 2005.
DOI : 10.1007/978-3-540-31847-7_18

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback Control of Computing Systems, 2004.
DOI : 10.1002/047166880X

Y. Hietter, J. Roussel, and J. Lesage, Algebraic Synthesis of Transition Conditions of a State Model, Proc. of 9th Int. Workshop On Discrete Event Systems (WODES'08), pp.187-192, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00353634

M. Iordache and P. Antsaklis, Concurrent program synthesis based on supervisory control, Proceedings of the 2010 American Control Conference, 2010.
DOI : 10.1109/ACC.2010.5530904

M. V. Iordache and P. J. Antsaklis, Petri nets and programming: A survey, 2009 American Control Conference, pp.4994-4999, 2009.
DOI : 10.1109/ACC.2009.5159987

S. Jiang and R. Kumar, Decentralized control of discrete event systems with specializations to local control and concurrent systems, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, pp.653-660, 2000.
DOI : 10.1109/3477.875442

J. Komenda, T. Masopust, and J. H. Van-schuppen, Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems, IFAC Proceedings Volumes, vol.43, issue.12, pp.426-431, 2010.
DOI : 10.3182/20100830-3-DE-4013.00070

J. Komenda and J. H. Van-schuppen, Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2775-2780, 2005.
DOI : 10.1109/CDC.2005.1582583

H. Kugler, C. Plock, and A. Pnueli, Controller Synthesis from LSC Requirements, Fundamental Approaches to Software Engineering, FASE'09, 2009.
DOI : 10.1007/978-3-642-00593-0_6

T. , L. Gall, B. Jeannet, and H. Marchand, Supervisory control of infinite symbolic systems using abstract interpretation, 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, pp.31-35, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00483925

S. Lee and K. C. Wong, Structural decentralized control of concurrent discrete-event systems, European Journal of Control, vol.8, issue.5, 2002.

C. Liu, A. Kondratyev, Y. Watanabe, J. Desel, and A. Sangiovanni-vincentelli, Schedulability analysis of petri nets based on structural properties, Application of Concurrency to System Design Sixth International Conference on, pp.69-78, 2006.

F. Maraninchi and L. Morel, Logical-time contracts for the development of reactive embedded software, 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE), pp.48-55, 2004.

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

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

H. Marchand and B. Gaudin, Supervisory control problems of hierarchical finite state machines, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.1199-1204, 2002.
DOI : 10.1109/CDC.2002.1184677

URL : https://hal.archives-ouvertes.fr/inria-00525529

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.2540-51, 1992.
DOI : 10.1109/2.161279

V. V. Phoha, A. U. Nadgar, A. Ray, and S. Phoha, Supervisory control of software systems, IEEE Transactions on Computers, vol.53, issue.9, pp.1187-1199, 2004.
DOI : 10.1109/TC.2004.67

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

K. Schmidt and C. Breindl, On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems, 2008 9th International Workshop on Discrete Event Systems, pp.462-467, 2008.
DOI : 10.1109/WODES.2008.4605990

C. Wallace, P. Jensen, and N. Soparkar, Supervisory control of workflow scheduling, Advanced Transaction Models and Architectures Workshop (ATMA), 1996.

Y. Wang, S. Lafortune, T. Kelly, M. Kudlur, and S. Mahlke, The theory of deadlock avoidance via discrete control, Principles of Programming Languages, POPL, pp.252-263, 2009.