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

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

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), 2005.
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

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

R. Das, J. O. Kephart, C. Lefurgy, G. Tesauro, D. W. Levine et al., Autonomic multi-agent management of power and performance in data centers, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, AAMAS '08, pp.107-114, 2008.

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

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

E. Dumitrescu, A. Girault, H. Marchand, and E. Rutten, Multicriteria optimal discrete controller synthesis for fault-tolerant tasks, Proc. 10th Int Workshop on Discrete Event Systems, 2010.

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

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

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

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

H. Liao, Y. Wang, H. K. Cho, J. Stanley, T. Kelly et al., Concurrency bugs in multithreaded software: modeling and analysis using petri nets. j. Discrete Event Dynamic System, 2012.

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

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 J. Control Optim, vol.25, issue.1, 1987.

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