R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Proc. of FASE'98, pp.21-37, 1998.
DOI : 10.1007/BFb0053581

D. Bergamini, N. Descoubes, C. Joubert, and R. Mateescu, BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking, Proc. of TACAS'05, pp.581-585, 2005.
DOI : 10.1007/978-3-540-31980-1_42
URL : https://hal.archives-ouvertes.fr/hal-00685325

´. 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, pp.11-121257, 2006.

M. A. Cornejo, H. Garavel, R. Mateescu, and N. Palma, Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-based Applications, Proc. of DAIS'01 IFIP Conference Proceedings, pp.229-244, 2001.
DOI : 10.1007/0-306-47005-5_20
URL : https://hal.archives-ouvertes.fr/inria-00072397

G. Coulson, G. Blair, M. Clarke, and N. Parlavantzas, The design of a configurable and reconfigurable middleware platform, Distributed Computing, pp.109-126, 2002.
DOI : 10.1007/s004460100064

G. Coulson, G. Blair, P. Grace, F. Taiani, A. Joolia et al., A generic component model for building systems software, ACM Transactions on Computer Systems, vol.26, issue.1, pp.1-42, 2008.
DOI : 10.1145/1328671.1328672

P. David and T. Ledoux, An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components, Proc. of SC'06, pp.82-97, 2006.
DOI : 10.1007/11821946_6
URL : https://hal.archives-ouvertes.fr/hal-00457130

H. Garavel, R. Mateescu, F. Lang, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of CAV'07, pp.158-162, 2007.
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021

I. Iec, Enhancements to LOTOS (E-LOTOS) International Standard 15437:2001, International Organization for Standardization ? Information Technology, 2001.

G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock et al., seL4, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.207-220, 2009.
DOI : 10.1145/1629575.1629596

J. Kramer and J. Magee, The evolving philosophers problem: dynamic change management, IEEE Transactions on Software Engineering, vol.16, issue.11, pp.1293-1306, 1990.
DOI : 10.1109/32.60317

J. Kramer and J. Magee, Analysing dynamic change in distributed software architectures, IEE Proceedings - Software, vol.145, issue.5, pp.146-154, 1998.
DOI : 10.1049/ip-sen:19982297

C. Krause, Z. Maraikar, A. Lazovik, and F. Arbab, Modeling dynamic reconfigurations in Reo using high-level replacement systems, Science of Computer Programming, vol.76, issue.1, pp.23-36, 2011.
DOI : 10.1016/j.scico.2009.10.006

S. S. Kulkarni and K. N. Biyani, Correctness of Component-Based Adaptation, Proc. of CBSE'04, pp.48-58, 2004.
DOI : 10.1007/978-3-540-24774-6_6

M. Léger, T. Ledoux, and T. Coupaye, Reliable Dynamic Reconfigurations in a Reflective Component Model, Proc. of CBSE'10, pp.74-92, 2010.
DOI : 10.1007/978-3-642-13238-4_5

J. Magee and J. Kramer, Dynamic Structure in Software Architectures, Proc. of SIGSOFT FSE'96, pp.3-14, 1996.

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755

M. Wermelinger, A. Lopes, and J. L. Fiadeiro, A Graph Based Architectural (Re)configuration Language, Proc. of ESEC / SIGSOFT FSE'01, pp.21-32, 2001.
DOI : 10.1145/503209.503213
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.3692

J. Zhang and B. H. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.371-380, 2006.
DOI : 10.1145/1134285.1134337