R. De-lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson et al., Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, Software Engineering for Self-Adaptive Systems II, pp.1-32, 2013.
DOI : 10.1145/1808984.1808994
URL : https://hal.archives-ouvertes.fr/inria-00638157

O. Kouchnarenko and J. F. Weber, Adapting component-based systems at runtime via policies with temporal patterns Revised Selected Papers, 10th Int. Symp. on Formal Aspects of Component Software, FACS 2013, pp.234-253, 2013.
DOI : 10.1007/978-3-319-07602-7_15
URL : https://hal.archives-ouvertes.fr/hal-00940682/file/facs2013_adapting.pdf

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

V. Myllärniemi, M. Ylikangas, M. Raatikainen, J. Pääkkö, T. Männistö et al., Configurator-as-a-service, Proceedings of the WICSA/ECSA 2012 Companion Volume on, WICSA/ECSA '12, pp.151-158, 2012.
DOI : 10.1145/2361999.2362031

A. Lanoix, J. Dormoy, and O. Kouchnarenko, Combining Proof and Model-checking to Validate Reconfigurable Architectures, Electronic Notes in Theoretical Computer Science, vol.279, issue.2, pp.43-57, 2011.
DOI : 10.1016/j.entcs.2011.11.011
URL : https://hal.archives-ouvertes.fr/hal-00642348

E. W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, vol.18, issue.8, pp.453-457, 1975.
DOI : 10.1145/360933.360975

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. B. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.1257-1284, 2006.
DOI : 10.1002/spe.767

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.42-559, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00567442

J. Dormoy, O. Kouchnarenko, and A. Lanoix, Using temporal logic for dynamic reconfigurations of components Revised Selected Papers, 7th Int. Wshop on Formal Aspects of Component Software, pp.200-217, 2010.

A. G. Hamilton, Logic for mathematicians, 1988.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.2392

R. Milner, Communication and concurrency, 1989.

O. Kouchnarenko and J. F. Weber, Decentralised evaluation of temporal patterns over component-based systems at runtime Revised Selected Papers, 11th Int. Symp. on Formal Aspects of Component Software, pp.108-126, 2014.

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence. Software -Concepts and Tools, pp.103-120, 1996.

F. Chauvel, O. Barais, N. Plouzeau, I. Borne, and J. M. Jézéquel, Composition et expression qualitative de politiques d'adaptation pour les composants Fractal, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00542773

X. Ma, L. Baresi, C. Ghezzi, V. Panzica-la-manna, and J. Lu, Version-consistent dynamic reconfiguration of component-based distributed systems, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.245-255, 2011.
DOI : 10.1145/2025113.2025148

J. Kramer and J. Magee, The evolving philosophers problem: Dynamic change management. Software Engineering, IEEE Transactions on, pp.16-1293, 1990.

Y. Vandewoude, P. Ebraert, Y. Berbers, and T. D-'hondt, Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates, IEEE Transactions on Software Engineering, vol.33, issue.12, pp.856-868, 2007.
DOI : 10.1109/TSE.2007.70733

L. Metayer and D. , Describing software architecture styles using graph grammars, IEEE Transactions on Software Engineering, vol.24, issue.7, pp.521-533, 1998.
DOI : 10.1109/32.708567

K. Kähkönen, J. Lampinen, K. Heljanko, and I. Niemelä, The lime interface specification language and runtime monitoring tool, Int. Wshop on Runtime Verification, RV'09, pp.93-100, 2009.

A. H. Ghamarian, M. De-mol, A. Rensink, E. Zambon, and M. Zimakova, Modelling and analysis using GROOVE, International Journal on Software Tools for Technology Transfer, vol.10, issue.2, pp.15-40, 2012.
DOI : 10.1007/s10009-011-0186-x
URL : http://doc.utwente.nl/77423/1/Ghamarian11modelling.pdf