A. Arora and S. S. Kulkarni, Detectors and correctors: a theory of fault-tolerance components, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183), pp.436-443, 1998.
DOI : 10.1109/ICDCS.1998.679772

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

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

A. K. Bauer and Y. Falcone, Decentralised LTL monitoring [5] S. Bliudze and J. Sifakis. The algebra of connectors?structuring interaction in BIP, Proceedings of FM 2012: Formal Methods -18th International Symposium, pp.85-100, 2008.

S. Bliudze and J. Sifakis, A Notion of Glue Expressiveness for Component-Based Systems, In CONCUR LNCS, vol.5201, pp.508-522, 2008.
DOI : 10.1007/978-3-540-85361-9_39

B. Bonakdarpour, M. Bozga, and G. Gößler, A theory of fault recovery for component-based models, SSS, pp.314-328, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00665222

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, A framework for automated distributed implementation of component-based models, Distributed Computing, pp.383-409, 2012.
DOI : 10.1007/s00446-012-0168-6
URL : https://hal.archives-ouvertes.fr/hal-00877995

M. Bozga, M. Jaber, N. Maris, and J. Sifakis, Modeling Dynamic Architectures Using Dy-BIP, SC, pp.1-16, 2012.
DOI : 10.1007/978-3-642-30564-1_1
URL : https://hal.archives-ouvertes.fr/hal-00722481

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2006.

G. Chatzieleftheriou, B. Bonakdarpour, S. A. Smolka, and P. Katsaros, Abstract Model Repair, Logical Methods in Computer Science, vol.11, issue.3, pp.341-355, 2012.
DOI : 10.2168/LMCS-11(3:11)2015

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

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

Y. Falcone, You Should Better Enforce Than Verify, RV, pp.89-105, 2010.
DOI : 10.1007/978-3-642-16612-9_9
URL : https://hal.archives-ouvertes.fr/hal-00523653

Y. Falcone, T. Cornebize, and J. Fernandez, Efficient and Generalized Decentralized Monitoring of Regular Languages, Proceedings of Formal Techniques for Distributed Objects, Components, and Systems -34th IFIP WG 6.1 International Conference, pp.66-83, 2014.
DOI : 10.1007/978-3-662-43613-4_5
URL : https://hal.archives-ouvertes.fr/hal-00972559

Y. Falcone, J. Fernandez, and L. Mounier, Runtime Verification of Safety-Progress Properties, RV, pp.40-59, 2009.
DOI : 10.1137/0201010
URL : https://hal.archives-ouvertes.fr/hal-00420487

Y. Falcone, J. Fernandez, and L. Mounier, What can you verify and enforce at runtime? STTT, pp.349-382, 2012.

Y. Falcone, M. Jaber, T. Nguyen, M. Bozga, and S. Bensalem, Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, Software & Systems Modeling, vol.40, issue.1, 2013.
DOI : 10.1007/s10270-013-0323-y
URL : https://hal.archives-ouvertes.fr/hal-00972566

Y. Falcone, L. Mounier, J. Fernandez, and J. Richier, Runtime enforcement monitors: composition, synthesis, and enforcement abilities, Formal Methods in System Design, vol.42, issue.3, pp.223-262, 2011.
DOI : 10.1007/s10703-011-0114-4
URL : https://hal.archives-ouvertes.fr/hal-00576948

J. Ligatti, L. Bauer, and D. Walker, Run-Time Enforcement of Nonsafety Policies, ACM Transactions on Information and System Security, vol.12, issue.3, pp.1-1941, 2009.
DOI : 10.1145/1455526.1455532

F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382

Q. Wen, R. Kumar, J. Huang, and H. Liu, A Framework for Fault-Tolerant Control of Discrete Event Systems, IEEE Transactions on Automatic Control, vol.53, issue.8, pp.1839-1849, 2008.
DOI : 10.1109/TAC.2008.929388

T. Wilke, Classifying Discrete Temporal Properties, STACS, volume 1563 of LNCS, pp.32-46, 1999.
DOI : 10.1007/3-540-49116-3_3