R. De-lemos, Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, Software Engineering for Self-Adaptive Systems, pp.1-32, 2010.
DOI : 10.1145/1808984.1808994
URL : https://hal.archives-ouvertes.fr/inria-00638157

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, In: Software Engineering, pp.411-420, 1999.

O. Kouchnarenko and J. F. Weber, Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns, FACS. LNCS, vol.8348, pp.234-253, 2014.
DOI : 10.1007/978-3-319-07602-7_15
URL : https://hal.archives-ouvertes.fr/hal-00940682

A. Bauer and Y. Falcone, Decentralised LTL monitoring In: FM 2012: Formal Methods, LNCS, vol.7436, pp.85-100, 2012.

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

O. Kupferman, M. Y. Vardi, and P. Wolper, Module Checking, Information and Computation, vol.164, issue.2, pp.322-344, 2001.
DOI : 10.1006/inco.2000.2893

L. Bozzelli, A. Murano, and A. Peron, Pushdown module checking, LNCS, vol.3835, pp.504-518, 2005.

B. Aminof, A. Legay, A. Murano, O. Serre, and M. Y. Vardi, Pushdown module checking with imperfect information, Inf. Comput, pp.223-224, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01260664

A. Bauer, M. Leucker, and C. Schallhart, Comparing LTL Semantics for Runtime Verification, Journal of Logic and Computation, vol.20, issue.3, pp.651-674, 2010.
DOI : 10.1093/logcom/exn075

M. Kim, I. Lee, J. Shin, and O. Sokolsky, Monitoring, Checking, and Steering of Real-Time Systems, Electronic Notes in Theoretical Computer Science, vol.70, issue.4, pp.95-111, 2002.
DOI : 10.1016/S1571-0661(04)80579-6

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.36-1257, 2006.
DOI : 10.1002/spe.767

S. Schneider and H. Treharne, CSP theorems for communicating B machines. Formal Asp, Comput, vol.17, pp.390-422, 2005.

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

H. Garavel, R. Mateescu, and W. Serwe, Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids, Electronic Notes in Theoretical Computer Science, vol.296, pp.296-145, 2013.
DOI : 10.1016/j.entcs.2013.07.010
URL : https://hal.archives-ouvertes.fr/hal-00730668

J. Dormoy, O. Kouchnarenko, and A. Lanoix, Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components, FACS. LNCS, vol.7253, pp.115-132, 2012.
DOI : 10.1007/978-3-642-35743-5_8
URL : https://hal.archives-ouvertes.fr/hal-00642345

J. Dormoy, O. Kouchnarenko, and A. Lanoix, Using Temporal Logic for Dynamic Reconfigurations of Components, LNCS, vol.36, issue.1, pp.200-217, 2012.
DOI : 10.1007/3-540-45719-4_23
URL : https://hal.archives-ouvertes.fr/hal-00662875

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

J. Dormoy, O. Kouchnarenko, and A. Lanoix, When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations, LNCS, vol.7436, pp.171-186, 2012.
DOI : 10.1007/978-3-642-32759-9_16