K. Akesson, M. Fabian, H. Flordal, and A. Vahidi, Supremica ? a tool for verification and synthesis of discrete event supervisors, Proc. of the 11th Mediterranean Conference on Control and Automation, 2003.

K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using controller synthesis to build propertyenforcing layers, European Symposium on Programming, 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

J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, Int. Journal in Computer Simulation, vol.4, issue.2, pp.155-182, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

P. Caspi and M. Pouzet, Synchronous Kahn networks, ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming, pp.226-238, 1996.

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

G. Delaval, A. Girault, and M. Pouzet, A type system for the automatic distribution of higher-order synchronous dataflow programs, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00750870

G. Delaval and É. Rutten, A domain-specific language for multitask systems, applying discrete controller synthesis, EURASIP Journal on Embedded Systems, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000867

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proc. of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

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 Workshops in Computing, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

F. Maraninchi and Y. Rémond, Mode-automata: About modes and states for reactive systems, European Symposium On Programming (ESOP), Lisbon (Portugal), 1998.
DOI : 10.1007/BFb0053571

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, 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

M. Neubauer and P. Thiemann, From sequential programs to multi-tier applications by program transformation, POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. [16] M. Pouzet. Lucid synchrone v3, pp.221-232, 2005.

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

É. Rutten, A framework for using discrete control synthesis in safe robotic programming and teleoperation, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164), pp.4104-4109, 2001.
DOI : 10.1109/ROBOT.2001.933259

J. Talpin and P. Jouvelot, Abstract, Journal of Functional Programming, vol.78, issue.03, 1992.
DOI : 10.1145/322123.322135
URL : https://hal.archives-ouvertes.fr/hal-00730926