T. Abdelzaher, Research challenges in feedback computing: An interdisciplinary agenda, Proc. Workshop Feedback Computing, 2013.

F. Alvares-de-oliveira-jr, R. Sharrock, and T. Ledoux, Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing, Proc. Conf. Coordination, 2012.
DOI : 10.1007/978-3-642-30829-1_3
URL : https://hal.archives-ouvertes.fr/hal-00682914

T. Bouhadiba, Q. Sabah, G. Delaval, and E. Rutten, Synchronous control of reconfiguration in Fractal component-based systems ? a case study, Proc. Conf. EMSOFT, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00596883

F. Boyer, O. Gruber, and D. Pous, Robust reconfigurations of component assemblies, 2013 35th International Conference on Software Engineering (ICSE), 2013.
DOI : 10.1109/ICSE.2013.6606547
URL : https://hal.archives-ouvertes.fr/hal-00966078

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. Stefani, The FRACTAL component model and its support in Java, Software ? Practice and Experience (SP&E), pp.11-12, 2006.
DOI : 10.1002/spe.767

R. Das, J. Kephart, C. Lefurgy, G. Tesauro, D. Levine et al., Autonomic multi-agent management of power and performance in data centers, Proc. Conf. AAMAS, 2008.

G. Delaval and E. Rutten, Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, Proc. Symp. CBSE, 2010.
DOI : 10.1007/978-3-642-13238-4_6

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.
URL : https://hal.archives-ouvertes.fr/hal-00863286

S. M. Gueye, N. De-palma, and E. Rutten, Coordination control of component-based autonomic administration loops, Proc. Conf. Coordination, 2013.

A. Gupta, K. Mcmillan, and Z. Fu, Automated Assumption Generation for Compositional Verification, Computer Aided Verification, pp.420-432, 2007.
DOI : 10.1007/978-3-540-73368-3_45

N. Halbwachs, Synchronous programming of reactive systems, a tutorial and commented bibliography, Proc. Conf. CAV, 1998.

N. Halbwachs and S. Baghdadi, Synchronous modeling of asynchronous systems, Proc. Conf. EMSOFT, Grenoble, 2002.

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback Control of Computing Systems, 2004.
DOI : 10.1002/047166880X

J. Heo, P. Jayachandran, I. Shin, D. Wang, T. Abdelzaher et al., OptiTuner: On Performance Composition and Server Farm Energy Minimization Application, IEEE Transactions on Parallel and Distributed Systems, vol.22, issue.11, p.22, 2011.
DOI : 10.1109/TPDS.2011.52

F. Hermenier, X. Lorca, J. Menaud, G. Muller, and J. Lawall, Entropy, Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, VEE '09, pp.41-50, 2009.
DOI : 10.1145/1508293.1508300
URL : https://hal.archives-ouvertes.fr/inria-00320204

J. Kephart, Autonomic computing, Proceedings of the 8th ACM international conference on Autonomic computing, ICAC '11, 2011.
DOI : 10.1145/1998582.1998584

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

H. Marchand and M. Samaan, Incremental design of a power transformer station controller using a controller synthesis methodology, IEEE Transactions on Software Engineering, vol.26, issue.8, pp.729-741, 2000.
DOI : 10.1109/32.879811
URL : https://hal.archives-ouvertes.fr/hal-00546156

P. Ramadge and W. Wonham, Modular Supervisory Control of Discrete Event Systems, Proc. IEEE, vol.77, issue.1, 1989.
DOI : 10.1007/BFb0007558

S. Sicard, F. Boyer, and N. Palma, Using components for architecture-based management, Proceedings of the 13th international conference on Software engineering , ICSE '08, 2008.
DOI : 10.1145/1368088.1368103

D. Sykes, W. Heaven, J. Magee, and J. Kramer, Plan-directed architectural change for autonomous systems, Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, SAVCBS '07, 2007.
DOI : 10.1145/1292316.1292318

P. Vromant, D. Weyns, S. Malek, and J. Andersson, On interacting control loops in self-adaptive systems, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, 2011.
DOI : 10.1145/1988008.1988037

Y. Wang, S. Lafortune, T. Kelly, M. Kudlur, and S. Mahlke, The theory of deadlock avoidance via discrete control, Proc. ACM Conf. POPL, 2009.