K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, European Symposium on Programming (ESOP), 2003.
DOI : 10.1007/3-540-36575-3_13

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

J. Borrelly, E. Costemanì-ere, 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

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

G. Delaval and E. Rutten, A domain-specific language for multi-task systems, applying discrete controller synthesis, Research Report, vol.5690, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000867

B. Douglass, Real-Time UML, 2004.
DOI : 10.1007/3-540-45739-9_4

C. Kloukinas and S. Yovine, Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., 2003.
DOI : 10.1109/EMRTS.2003.1212754

E. Lee, The Ptolemy project, 2005.

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 E. Rutten, Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002, 2002.
DOI : 10.1109/EMRTS.2002.1019204
URL : https://hal.archives-ouvertes.fr/inria-00525533