S. Abdelwahed and W. Wonham, Supervisory control of interacting discrete event systems, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.1175-1180, 2002.
DOI : 10.1109/CDC.2002.1184673

S. Aboubekr, G. Delaval, and E. Rutten, A programming language for adaptation control, 2nd Workshop on Adaptive and Reconfigurable Embedded Systems, 2009.
DOI : 10.1145/1851340.1851353

K. Akesson, H. Flordal, and M. Fabian, EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS, Proc. of the IFAC, 2002.
DOI : 10.3182/20020721-6-ES-1901.00517

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), number 2618, 2003.
DOI : 10.1007/3-540-36575-3_13

R. Back and C. C. Seceleanu, Contracts and games in controller synthesis for discrete systems, IEEE Int. Conf. on Engineering of Computer-Based Systems, p.307, 2004.

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.

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

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

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, 2005.
DOI : 10.1145/1086228.1086261

M. , D. Queiroz, and J. Cury, Modular control of composed systems, Proceedings of the American Control Conference, pp.4051-4055, 2000.

G. Delaval and E. Rutten, A domain-specific language for multi-task systems, applying discrete controller synthesis, J. on Embedded Systems, issue.84192, p.17, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000867

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), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00353634

R. Leduc, W. Wonham, and M. Lawford, Hierarchical interface-based supervisory control-part II: parallel case, Proc. of the 39th Allerton Conf. on Comm., Contr., and Comp, pp.386-395, 2001.
DOI : 10.1109/TAC.2005.854612

C. Ma and W. Wonham, A symbolic approach to the supervision of state tree structures, 13th Mediterranean Conference on Control and Automation, 2005.

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

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 B. Gaudin, Supervisory control problems of hierarchical finite state machines, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., 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

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

Y. Wang, S. Lafortune, T. Kelly, M. Kudlur, and S. Mahlke, The Theory of Deadlock Avoidance via Discrete Control, ACM Symposium on Principles of Programming Languages (POPL '09), 2009.

Y. Willner and M. Heymann, Supervisory control of concurrent discrete-event systems, International Journal of Control, vol.54, issue.5, pp.1143-1169, 1991.
DOI : 10.1137/0325036