]. T. Batista, A. Joolia, and G. Coulson, Managing dynamic reconguration in componentbased systems, Proceedings of the 2Nd European Conference on Software Architecture, EWSA'05, p.117, 2005.

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, p.6483, 2003.
DOI : 10.1109/JPROC.2002.805826

N. Berthier and H. Marchand, Discrete controller synthesis for innite state systems with reax, IEEE International Workshop on Discrete Event Systems, p.4653, 2014.

T. Bouhadiba, Q. Sabah, G. Delaval, and E. Rutten, Synchronous control of reconguration in fractal component-based systems: A case study, Proceedings of the Ninth ACM International Conference on Embedded Software, EMSOFT '11, p.309318, 2011.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, An Open Component Model and Its Support in Java, Proceedings of the International Symposium on Componentbased Software Engineering (CBSE'2003), 2004.
DOI : 10.1007/978-3-540-24774-6_3

S. Cheng, D. Garlan, and B. Schmerl, Evaluating the eectiveness of the rainbow selfadaptive system, Software Engineering for Adaptive and Self-Managing Systems, 2009. SEAMS '09. ICSE Workshop on, p.132141, 2009.

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-ow with state machines, Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT '05, p.173182, 2005.

P. David, T. Ledoux, M. Léger, and T. Coupaye, FPath & FScript: Language support for navigation and reliable reconguration of Fractal architectures. Annals of Telecommunications: Special Issue on Software Components The Fractal Initiative, 2008.

G. Delaval, S. M. Gueye, E. Rutten, and N. Palma, Modular coordination of multiple autonomic managers, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, p.312, 2014.
DOI : 10.1145/2602458.2602465
URL : https://hal.archives-ouvertes.fr/hal-01006106

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 reconguration in the fractal component-based model, 13th International Symposium on Component Based Software Engineering, 2010.

D. Garlan, R. Monroe, D. Wile, D. Garlan, R. T. Monroe et al., Acme, CASCON First Decade High Impact Papers on, CASCON '10, p.4768, 1997.
DOI : 10.1145/1925805.1925814

O. Haugen, A. Wasowski, and K. Czarnecki, Cvl: Common variability language, Proceedings of the 17th International Software Product Line Conference, SPLC '13, p.277277, 2013.

I. Jacobson, M. Griss, and P. Jonsson, Software reuse: architecture process and organization for business success, 1997.

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

O. Kouchnarenko and J. Weber, Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns, FACS 2013, 10th Int. Symposium on Formal Aspects of Component Software, Revised Selected Papers, p.234253, 2014.
DOI : 10.1007/978-3-319-07602-7_15
URL : https://hal.archives-ouvertes.fr/hal-00940682

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

N. Medvidovic and R. N. Taylor, A classication and comparison framework for software architecture description languages, IEEE Trans. Softw. Eng, vol.26, issue.1, p.7093, 2000.

B. Morin, O. Barais, G. Nain, and J. Jezequel, Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, p.122132, 2009.
DOI : 10.1109/ICSE.2009.5070514

G. G. Pascual, M. Pinto, and L. Fuentes, Run-time support to manage architectural variability specied with cvl, Proceedings of the 7th European Conference on Software Architecture , ECSA'13, p.282298, 2013.

L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni et al., A component-based middleware platform for recongurable service

I. Warren, J. Sun, S. Krishnamohan, and T. Weerasinghe, An automated formal approach to managing dynamic reconguration, Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, ASE '06 IEEE Computer Society. Inria RESEARCH CENTRE GRENOBLE ? RHÔNE-ALPES Inovallée 655 avenue de l'Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria.fr ISSN, pp.3746-0249, 2006.