K. Altisen, G. Gößler, and J. Sifakis, Scheduler modelling based on the controller synthesis paradigm, Journal of Real- Time Systems, vol.23, issue.1, 2002.

G. Fohler, Changing operational modes in the context of pre run-time scheduling, IEICE Transactions on Information and Systems, issue.11, pp.1333-1340, 1993.

N. Halbwachs, Synchronous programming of reactive systems, Kluwer, 1993.

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with signal, Proceedings of the IEEE, pp.1321-1336, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075114

F. Maraninchi and Y. Rémond, Running-modes of real-time systems: a case-study with mode-automata, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, 2000.
DOI : 10.1109/EMRTS.2000.854014

F. Maraninchi, Y. Rémond, and E. Rutten, Effective programming language support for discrete-continuous modeswitching control systems, Proceedings of the 40th IEEE Conference on Decision and Control, CDC'01, 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 Dynamical System: Theory and Applications, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand and M. L. Borgne, Partial order control of discrete event systems modeled as polynomial dynamical systems, IEEE International Conference On Control Applications, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073416

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

J. Real and A. Wellings, Implementing mode changes with shared resources in Ada, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, 1999.
DOI : 10.1109/EMRTS.1999.777454

E. 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.21-26, 2001.
DOI : 10.1109/ROBOT.2001.933259

K. Tindell, A. Burns, and A. Wellings, Mode changes in priority pre-emptive scheduled systems, Proceedings of the IEEE Real Time Systems Symposium, pp.100-109, 1992.