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

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

I. Warren, J. Sun, S. Krishnamohan, and T. Weerasinghe, An Automated Formal Approach to Managing Dynamic Reconfiguration, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), pp.37-46, 2006.
DOI : 10.1109/ASE.2006.12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.6909

L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni et al., A component-based middleware platform for reconfigurable serviceoriented architectures, Software: Practice and Experience, pp.559-583, 2012.

P. David, T. Ledoux, M. Léger, T. Coupaye, &. Fpath et al., Language support for navigation and reliable reconfiguration of Fractal architectures , Annals of Telecommunications: Special Issue on Software Components ? The Fractal Initiative

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

F. Alvares, E. Rutten, and L. Seinturier, High-Level Language Support for Reconfiguration Control in Component-Based Architectures, Proc. 9th European Conf. on Software Architecture (ECSA), 2015.
DOI : 10.1007/978-3-319-23727-5_1
URL : https://hal.archives-ouvertes.fr/hal-01103548

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

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

T. Abdelzaher, Y. Diao, J. Hellerstein, C. Lu, and X. Zhu, Introduction to Control Theory And Its Application to Computing Systems, Performance Modeling and Engineering, pp.185-215, 2008.
DOI : 10.1007/978-0-387-79361-0_7

H. Marchand, P. Bournai, M. Le-borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System, Theory and Applications, vol.10, issue.4, pp.325-346, 2000.

F. Alvares, E. Rutten, and L. Seinturier, Behavioural Model-Based Control for Autonomic Software Components, 2015 IEEE International Conference on Autonomic Computing, 2015.
DOI : 10.1109/ICAC.2015.31
URL : https://hal.archives-ouvertes.fr/hal-01143196

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.
DOI : 10.1145/1755951.1755898
URL : https://hal.archives-ouvertes.fr/inria-00476910

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

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

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

J. Kramer and J. Magee, Self-managed systems: An architectural challenge , in: 2007 Future of Software Engineering, FOSE '07, IEEE Computer Society, pp.259-268, 2007.

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

N. Halbwachs, Synchronous Programming of Reactive Systems, 2010.

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

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

E. Dumitrescu, A. Girault, H. Marchand, and ´. E. Rutten, Multicriteria optimal reconfiguration of fault-tolerant real-time tasks, IFAC Proceedings Volumes, vol.43, issue.12, pp.366-373, 2010.
DOI : 10.3182/20100830-3-DE-4013.00059
URL : https://hal.archives-ouvertes.fr/inria-00510019

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

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. Arshad and D. Heimbigner, A Comparison of Planning Based Models for Component Reconfiguration, 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, 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
DOI : 10.1109/ICSE.2013.6606547
URL : https://hal.archives-ouvertes.fr/hal-00966078

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. 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
DOI : 10.1145/2591062.2591142

N. D. Ippolito, V. Braberman, J. Kramer, J. Magee, D. Sykes et al., Hope for the best, prepare for the worst: Multi-tier control for adaptive systems, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.688-699, 2014.

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

C. Parra, X. Blanc, and L. Duchien, Context awareness for dynamic serviceoriented product lines, Proceedings of the 13th International Software Product Line Conference, SPLC '09, pp.131-140, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00425586

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

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

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, pp.309-318, 2011.
DOI : 10.1145/2038642.2038690
URL : https://hal.archives-ouvertes.fr/inria-00596883

X. An, E. Rutten, J. Diguet, N. L. Griguer, and A. Gamatié, Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control, Proc. of the 10th International Conference on Autonomic Computing (ICAC'13), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00852849

G. Delaval, S. M. Gueye, E. Rutten, and N. D. 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