N. Arshad and D. Heimbigner, A Comparison of Planning Based Models for Component Reconfiguration, 2005.

T. Batista, A. Joolia, and G. Coulson, Managing Dynamic Reconfiguration in Component-Based Systems, Proceedings of the 2Nd European Conference on Software Architecture , EWSA'05, pp.1-17, 2005.
DOI : 10.1007/11494713_1

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, IEEE International Workshop on Discrete Event Systems, pp.46-53, 2014.
DOI : 10.3182/20140514-3-FR-4046.00099
URL : https://hal.archives-ouvertes.fr/hal-00974553

F. Boyer, O. Gruber, and D. Pous, Robust reconfigurations of component assemblies, 2013 35th International Conference on Software Engineering (ICSE), pp.13-22, 2013.
DOI : 10.1109/ICSE.2013.6606547
URL : https://hal.archives-ouvertes.fr/hal-00966078

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 Component-based Software Engineering (CBSE'2003), 2004.
DOI : 10.1007/978-3-540-24774-6_3

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, pp.173-182, 2005.
DOI : 10.1145/1086228.1086261

C. Eduardo, D. Silva, and R. De-lemos, Dynamic plans for integration testing of selfadaptive software systems, Proc. 6th Int. Symp. on Software Engineering for Adaptive and Self-Managing Systems, pp.148-157, 2011.

P. David, T. Ledoux, M. Léger, and T. Coupaye, FPath & FScript : Language support for navigation and reliable reconfiguration of Fractal architectures. Annals of Telecommunications : Special Issue on Software Components ? The Fractal Initiative, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00468474

G. Delaval, S. Mak-karé-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, pp.3-12, 2014.
DOI : 10.1145/2602458.2602465
URL : https://hal.archives-ouvertes.fr/hal-01006106

G. Delaval, H. Marchand, and É. 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 É. Rutten, Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, 13th International Symposium on Component Based Software Engineering, 2010.
DOI : 10.1007/978-3-642-13238-4_6

E. Dumitrescu, A. Girault, H. Marchand, and É. Rutten, Multicriteria optimal reconfiguration of fault-tolerant real-time tasks, Workshop on Discrete Event Systems, WODES'10, pp.366-373, 2010.
DOI : 10.3182/20100830-3-DE-4013.00059
URL : https://hal.archives-ouvertes.fr/inria-00510019

D. Garlan, . Shang-wen, A. Cheng, B. Huang, P. Schmerl et al., Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.46-54, 2004.
DOI : 10.1109/MC.2004.175

D. Garlan, R. T. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 2000.
DOI : 10.1145/1925805.1925814

N. Halbwachs, Synchronous Programming of Reactive Systems, 2010.
DOI : 10.1007/978-1-4757-2231-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.308

D. Harel and A. Pnueli, Logics and models of concurrent systems. chapter On the Development of Reactive Systems, pp.477-498, 1985.

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

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

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

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, pp.234-253, 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, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

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, pp.122-132, 2009.
DOI : 10.1109/ICSE.2009.5070514
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.780

G. G. Pascual, M. Pinto, and L. Fuentes, Run-Time Support to Manage Architectural Variability Specified with CVL, Proceedings of the 7th European Conference on Software Architecture, ECSA'13, pp.282-298, 2013.
DOI : 10.1007/978-3-642-39031-9_24

L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni et al., A component-based middleware platform for reconfigurable service-oriented architectures. Software : Practice and Experience, pp.559-583, 2012.
DOI : 10.1002/spe.1077
URL : https://hal.archives-ouvertes.fr/inria-00567442

M. Tichy and B. Klöpper, Planning Self-adaption with Graph Transformations, Proc. 4th Int. Conf. on Applications of Graph Transformations with Industrial Relevance, AGTI- VE'11, pp.137-152, 2012.
DOI : 10.1007/978-3-642-34176-2_13

Z. Xing and E. Stroulia, UMLDiff, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.54-65, 2005.
DOI : 10.1145/1101908.1101919