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

J. Kramer and J. Magee, Self-Managed Systems: an Architectural Challenge, Future of Software Engineering (FOSE '07), pp.259-268, 2007.
DOI : 10.1109/FOSE.2007.19

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

F. Alvares, E. Rutten, and L. Seinturier, Behavioural Model-Based Control for Autonomic Software Components, 2015 IEEE International Conference on Autonomic Computing, pp.187-196, 2015.
DOI : 10.1109/ICAC.2015.31

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

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, An Open Component Model and Its Support in Java, Proc. Int. Symp. on Component-based Software Engineering, 2003.
DOI : 10.1007/978-3-540-24774-6_3

G. Delaval, É. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler, Discrete Event Dynamic Systems, pp.385-418, 2013.
DOI : 10.1137/0325013

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

P. Ramadge and W. Wonham, Modular Supervisory Control of Discrete Event Systems, Proc. IEEE, 1989.
DOI : 10.1007/BFb0007558

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.1007/978-3-642-13651-1_4

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

C. Klein, M. Maggio, K. Årzén, and F. Hernández-rodriguez, Brownout: building more robust cloud applications, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.700-711, 2014.
DOI : 10.1145/2568225.2568227

URL : http://umu.diva-portal.org/smash/get/diva2:680477/FULLTEXT01

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

S. Frey, A. Diaconescu, D. Menga, and I. Demeure, Towards a generic architecture and methodology for multi-goal, highly-distributed and dynamic autonomic systems, Proc. 10th Int. Conf. Autonomic Computing, ICAC. USENIX, pp.201-212, 2013.

]. P. Vromant, D. Weyns, S. Malek, and J. Andersson, On interacting control loops in self-adaptive systems, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.202-207, 2011.
DOI : 10.1145/1988008.1988037

URL : http://lnu.diva-portal.org/smash/get/diva2:477532/FULLTEXT01

D. Weyns, B. Schmerl, V. Grassi, S. Malek, R. Mirandola et al., On Patterns for Decentralized Control in Self-Adaptive Systems, pp.76-107, 2013.
DOI : 10.1145/1808984.1808994

D. Weyns, S. Malek, and J. Andersson, FORMS, ACM Transactions on Autonomous and Adaptive Systems, vol.7, issue.1, pp.1-861, 2012.
DOI : 10.1145/2168260.2168268

M. Luckey, B. Nagel, C. Gerth, and G. Engels, Adapt cases, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.30-39, 2011.
DOI : 10.1145/1988008.1988014

S. Cheng, D. Garlan, and B. Schmerl, Evaluating the effectiveness of the Rainbow self-adaptive system, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp.132-141, 2009.
DOI : 10.1109/SEAMS.2009.5069082

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

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

N. Arshad and D. Heimbigner, A Comparison of Planning Based Models for Component Reconfiguration, Colorado, Research Report CU-CS-995-05, 2005.

C. E. Da-silva and R. De-lemos, Dynamic plans for integration testing of self-adaptive software systems, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.148-157, 2011.
DOI : 10.1145/1988008.1988029

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

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

S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer et al., The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems, Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014, pp.614-615, 2014.
DOI : 10.1145/2591062.2591142

O. Kouchnarenko and J. Weber, Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns, 10th Int. Symp. Formal Aspects of Component Software, pp.234-253, 2014.
DOI : 10.1007/978-3-319-07602-7_15

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

R. Calinescu, C. Ghezzi, M. Kwiatkowska, and R. Mirandola, Self-adaptive software needs quantitative verification at runtime, Communications of the ACM, vol.55, issue.9, pp.69-77, 2012.
DOI : 10.1145/2330667.2330686

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

A. Filieri, C. Ghezzi, and G. Tamburrelli, Run-time efficient probabilistic model checking, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.341-350, 2011.
DOI : 10.1145/1985793.1985840

N. D. 'ippolito, V. Braberman, N. Piterman, and S. Uchitel, Synthesizing nonanomalous event-based controllers for liveness goals, ACM Transactions on Software Engineering and Methodology, vol.22, issue.1, pp.1-9, 2013.
DOI : 10.1145/2430536.2430543

L. Nahabedian, V. Braberman, N. D. Ippolito, S. Honiden, J. Kramer et al., Assured and correct dynamic update of controllers, Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '16, pp.96-107, 2016.
DOI : 10.1145/1134285.1134337

URL : http://spiral.imperial.ac.uk/bitstream/10044/1/34164/2/paper.pdf

A. Filieri, H. Hoffmann, and M. Maggio, Automated multi-objective control for self-adaptive software design, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, pp.13-24, 2015.
DOI : 10.1109/SEAMS.2012.6224390

T. Bouhadiba, Q. Sabah, G. Delaval, and E. Rutten, Synchronous control of reconfiguration in fractal component-based systems, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, 2011.
DOI : 10.1145/2038642.2038690

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

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, pp.3-12, 2014.
DOI : 10.1145/2602458.2602465

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

X. An, E. Rutten, J. Diguet, and A. Gamatié, Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures, ACM Transactions on Embedded Computing Systems, vol.15, issue.3, pp.511-5127, 2016.
DOI : 10.1109/FPL.2010.65

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