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

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

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

G. Delaval, E. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler, Discrete Event Dynamic Systems, pp.385-418, 2013.
DOI : 10.1137/0325013
URL : https://hal.archives-ouvertes.fr/hal-00863286

F. Alvares, E. Rutten, and L. Seinturier, A domain-specific language for the control of self-adaptive component-based architecture, Journal of Systems and Software, vol.130, p.2017
DOI : 10.1016/j.jss.2017.01.030
URL : https://hal.archives-ouvertes.fr/hal-01450517

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, IEEE International Workshop on Discrete Event Systems, pp.420-427, 2014.
DOI : 10.3182/20140514-3-FR-4046.00099
URL : https://hal.archives-ouvertes.fr/hal-00974553

P. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

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

]. H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

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

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

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

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.559-583, 2012.
DOI : 10.1007/978-3-642-13651-1_4
URL : https://hal.archives-ouvertes.fr/inria-00567442

E. Jahier, N. Halbwachs, and P. Raymond, Engineering functional requirements of reactive systems using synchronous languages, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.140-149, 2013.
DOI : 10.1109/SIES.2013.6601486
URL : https://hal.archives-ouvertes.fr/hal-00933179

C. Klein, M. Maggio, K. Årzén, and F. Hernández-rodriguez, Brownout: building more robust cloud applications, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.700-711, 2014.
DOI : 10.1145/2568225.2568227
URL : http://www8.cs.umu.se/%7Ecklein/publications/icse2014-preprint.pdf

Y. Wang, H. Cho, H. Liao, A. Nazeem, T. Kelly et al., Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project, Proc. of the 10th IFAC Int. Workshop on Discrete Event Systems (WODES'10), 2010.
DOI : 10.3182/20100830-3-DE-4013.00044

Y. Wang, S. Lafortune, T. Kelly, M. Kudlur, and S. Mahlke, The theory of deadlock avoidance via discrete control, Principles of Programming Languages, POPL, pp.252-263, 2009.

S. Hajjar, E. Dumitrescu, L. Pietrac, and E. Niel, A Design Method for Synthesizing Control-Command Systems out of Reusable Components, IEEE International Workshop on Discrete Event Systems, 2014.
DOI : 10.3182/20140514-3-FR-4046.00111
URL : https://hal.archives-ouvertes.fr/hal-01080076

G. Delaval and E. Rutten, Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, 13th International Symposium on Component Based Software Engineering, 2010.
DOI : 10.1007/978-3-642-13238-4_6

O. Kouchnarenko and J. Weber, Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns, 10th Int. Symp. Formal Aspects of Component Software, ser. LNCS, pp.234-253, 2014.
DOI : 10.1007/978-3-319-07602-7_15
URL : https://hal.archives-ouvertes.fr/hal-00940682

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, ser. ICSE 2014, pp.688-699, 2014.