T. Barros, R. Ameur-boulifa, A. Cansado, L. Henrio, and E. Madelaine, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, 2009.
DOI : 10.1007/s12243-008-0069-7

URL : https://hal.archives-ouvertes.fr/inria-00268965

G. Berry, S. Ramesh, and R. K. Shyamasundar, Communicating reactive processes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, 1993.
DOI : 10.1145/158511.158526

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. Berthier, F. Maraninchi, and L. Mounier, Synchronous programming of device drivers for global resource control in embedded operating systems, ACM SIGPLAN/SIGBED Conference on Languages, Compilers , Tools and Theory for Embedded Systems (LCTES), 2011.
URL : https://hal.archives-ouvertes.fr/tel-00727281

E. Bruneton, T. Coupaye, and J. B. Stefani, Recursive and dynamic software composition with sharing, European Conference on Object Oriented Programming, 2002.

J. Buisson, F. André, and J. Pazat, A framework for dynamic adaptation of parallel components, ParCo 2005, pp.13-16
URL : https://hal.archives-ouvertes.fr/hal-00498836

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

P. David, T. Ledoux, M. Léger, and T. Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, annals of telecommunications - annales des t??l??communications, vol.7, issue.3, pp.45-63, 2009.
DOI : 10.1007/s12243-008-0073-y

URL : https://hal.archives-ouvertes.fr/hal-00468474

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

G. Delaval and E. Rutten, Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, Proc. of the 13th Int. Symp. on Component Based Software Engineering (CBSE), pp.23-25, 2010.
DOI : 10.1007/978-3-642-13238-4_6

J. Dormoy, O. Kouchnarenko, and A. Lanoix, Using Temporal Logic for Dynamic Reconfigurations of Components, 7th International Workshop on Formal Aspects of Component Software -FACS'2010
DOI : 10.1007/3-540-45719-4_23

URL : https://hal.archives-ouvertes.fr/hal-00662875

M. Léger, T. Ledoux, and T. Coupaye, Reliable Dynamic Reconfigurations in a Reflective Component Model, Proc. of the 13th Int. Symp. on Component Based Software Engineering (CBSE), pp.23-25
DOI : 10.1007/978-3-642-13238-4_5

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment. j. Discrete Event Dynamic System, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

J. Paris, Exécution de tâches asynchrones depuis Esterel, 1992.

M. Poulhiès, J. Pulou, and J. Sifakis, Buzz: analyzable embedded component-based software, Workshop on Component Models for Embedded Systems (COMES), 2008.

Y. Wang, H. Cho, H. Liao, A. Nazeem, T. Kelly et al., Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project, Proc.Workshop on Discrete Event Systems, 2010.
DOI : 10.3182/20100830-3-DE-4013.00044