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

M. C. Huebscher and J. A. Mccann, A survey of autonomic computing???degrees, models, and applications, ACM Computing Surveys, vol.40, issue.3, pp.1-728, 2008.
DOI : 10.1145/1380584.1380585

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.1257-1284, 2006.
DOI : 10.1002/spe.767

G. Tesauro, D. M. Chess, W. E. Walsh, R. Das, A. Segal et al., A Multi-Agent Systems Approach to Autonomic Computing, Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, pp.464-471, 2004.

L. Rosa, L. Rodrigues, A. Lopes, M. A. Hiltunen, and R. Schlichting, Self-Management of Adaptable Component-Based Applications, IEEE Transactions on Software Engineering, vol.39, issue.3, pp.403-421, 2013.
DOI : 10.1109/TSE.2012.29

F. Cuadrado, J. C. Duenas, and R. Garcia-carmona, An Autonomous Engine for Services Configuration and Deployment, IEEE Transactions on Software Engineering, vol.38, issue.3, pp.520-536, 2012.
DOI : 10.1109/TSE.2011.24

J. O. Kephart, Research Challenges of Autonomic Computing, Proceedings of the 27th International Conference on Software Engineering , ser. ICSE '05, pp.15-22, 2005.

D. Harel and A. Pnueli, Logics and Models of Concurrent Systems, ch. On the Development of Reactive Systems, pp.477-498, 1985.

S. Gueye and N. De-palma, Component-Based Autonomic Managers for Coordination Control, Proceedings of the 15th International Conference on Coordination Models and Languages, ser. Lecture Notes in Computer Science, pp.75-89, 2013.
DOI : 10.1007/978-3-642-38493-6_6

URL : https://hal.archives-ouvertes.fr/hal-00949562

S. Gueye, N. D. Palma, ´. E. Rutten, A. Tchana, and D. Hagimont, Discrete control for ensuring consistency between multiple autonomic managers, Journal of Cloud Computing: Advances, Systems and Applications, p.16, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00914179

S. M. Gueye, N. D. Palma, ´. E. Rutten, A. Tchana, and N. Berthier, Coordinating self-sizing and self-repair managers for multi-tier systems, Future Generation Computer Systems, vol.35, pp.14-26, 2014.
DOI : 10.1016/j.future.2013.12.037

URL : https://hal.archives-ouvertes.fr/hal-00949556

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.178-188, 1987.
DOI : 10.1145/41625.41641

A. Benveniste, P. Bournai, T. Gautier, M. Le-borgne, P. L. Guernic et al., The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), pp.3284-3289, 2001.
DOI : 10.1109/CDC.2001.980328

URL : https://hal.archives-ouvertes.fr/inria-00526268

P. Raymond, Y. Roux, and E. Jahier, Specifying and Executing Reactive Scenarios With Lutin, Electronic Notes in Theoretical Computer Science, vol.203, issue.4, pp.19-34, 2008.
DOI : 10.1016/j.entcs.2008.05.008

URL : https://hal.archives-ouvertes.fr/hal-00389799

P. Caspi, N. Scaife, C. Sofronis, and S. Tripakis, Safety Critical Application Development Environmentesterel-technologies.com/products/scade-suite Semanticspreserving multitask implementation of synchronous programs, SCADE ACM Trans. Embed. Comput. Syst, vol.17, issue.7, pp.151-1540, 2008.

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001.
DOI : 10.1016/S0096-0551(01)00016-9

URL : https://hal.archives-ouvertes.fr/hal-00273055

P. Caspi and A. Girault, Execution of distributed reactive systems, Proceedings of the 1st International Euro-Par Conference on Parallel Processing, ser. Euro-Par '95, pp.15-26, 1995.
DOI : 10.1007/BFb0020452

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

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of Discrete-Event Controllers Based on the Signal Environment, Discrete Event Dynamic Systems, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

G. Delaval and H. Marchand, Contracts for modular discrete controller synthesis, Proceedings of the ACM SIG- PLAN/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems, ser. LCTES '10, pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00436560

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.1007/s10626-013-0163-5

URL : https://hal.archives-ouvertes.fr/hal-00863286

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, 12th Int. Workshop on Discrete Event Systems, ser. WODES '14. IFAC, pp.46-53, 2014.
DOI : 10.3182/20140514-3-FR-4046.00099

URL : https://hal.archives-ouvertes.fr/hal-00974553

L. Bellissard, N. De-palma, A. Freyssinet, M. Herrmann, and S. Lacourte, An agent platform for reliable asynchronous distributed programming, Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, pp.294-295, 1999.
DOI : 10.1109/RELDIS.1999.805107

H. Marchand and M. L. Borgne, The Supervisory Control Problem of Discrete Event Systems using polynomial Methods, IRISA, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00072869

G. Delaval and S. Gueye, Distributed Execution of Modular Discrete Controllers for Data Center Management, 5th Int. Workshop on Dependable Control of Discrete Systems, ser. DCDS '15. IFAC, pp.139-146, 2015.
DOI : 10.1016/j.ifacol.2015.06.485

URL : https://hal.archives-ouvertes.fr/hal-01161509

D. Chapiro, Globally-asynchronous Locally-synchronous Systems, 1984.

J. Carlsson, K. Palmkvist, and L. Wanhammar, Design flow for Globally Asynchronous Locally Synchronous Systems using Conventional Synchronous Design Tools, Transactions on Circuits and Systems, vol.5, issue.7, pp.953-960, 2006.

N. Halbwachs and S. Baghdadi, Synchronous Modelling of Asynchronous Systems, Proceedings of the Second International Conference on Embedded Software, ser. EMSOFT '02, pp.240-251, 2002.
DOI : 10.1007/3-540-45828-X_18

T. Bouhadiba, Q. Sabah, and G. Delaval, 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

A. Girault and C. Ménier, Automatic Production of Globally Asynchronous Locally Synchronous Systems, Proceedings of the Second International Conference on Embedded Software, ser. EM- SOFT '02, pp.266-281, 2002.
DOI : 10.1007/3-540-45828-X_20

R. Nathuji and K. Schwan, VirtualPower: coordinated power management in virtualized enterprise systems, Proceedings of twenty-first ACM SIGOPS Symposium on Operating Systems Principles , ser. SOSP '07, pp.265-278, 2007.

S. Kumar, V. Talwar, V. Kumar, P. Ranganathan, and K. Schwan, vManage, Proceedings of the 6th international conference on Autonomic computing, ICAC '09, pp.127-136, 2009.
DOI : 10.1145/1555228.1555262

M. Aldinucci, M. Danelutto, and P. Kilpatrick, Autonomic management of non-functional concerns in distributed & parallel application programming, 2009 IEEE International Symposium on Parallel & Distributed Processing, pp.1-12, 2009.
DOI : 10.1109/IPDPS.2009.5161034

R. Das, J. O. Kephart, C. Lefurgy, G. Tesauro, D. W. Levine et al., Autonomic multi-agent management of power and performance in data centers, Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent systems: industrial track, ser. AAMAS '08: International Foundation for Autonomous Agents and Multiagent Systems, pp.107-114, 2008.

J. Heo and T. Abdelzaher, AdaptGuard, Proceedings of the 6th international conference on Autonomic computing, ICAC '09, pp.77-86, 2009.
DOI : 10.1145/1555228.1555256

M. Rahman, R. Ranjan, R. Buyya, and B. Benatallah, A taxonomy and survey on autonomic management of applications in grid computing environments, Concurrency and Computation: Practice and Experience, pp.1990-2019, 2011.
DOI : 10.1002/cpe.1734

Q. Zhang, L. Cheng, and R. Boutaba, Cloud computing: stateof-the-art and research challenges, Journal of Internet Services and Applications, vol.167, issue.1, pp.7-18, 2010.
DOI : 10.1007/978-3-319-38904-2

Z. Movahedi, M. Ayari, R. Langar, and G. Pujolle, A Survey of Autonomic Network Architectures and Evaluation Criteria, IEEE Communications Surveys & Tutorials, vol.14, issue.2, pp.464-490, 2012.
DOI : 10.1109/SURV.2011.042711.00078

URL : https://hal.archives-ouvertes.fr/hal-01168689

Y. Wang, S. Lafortune, T. Kelly, M. Kudlur, and S. Mahlke, The theory of deadlock avoidance via discrete control, Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ser. POPL '09, pp.252-263, 2009.

K. Altisen, A. Clodic, and F. Maraninchi, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, Proceedings of the 12th European Conference on Programming, ser. ESOP'03, pp.174-188, 2003.
DOI : 10.1007/3-540-36575-3_13

N. Berthier, F. Maraninchi, and L. Mounier, Synchronous programming of device drivers for global resource control in embedded operating systems, ACM Transactions on Embedded Computing Systems, vol.12, issue.1s, pp.1-3926, 2013.
DOI : 10.1145/2435227.2435235

URL : https://hal.archives-ouvertes.fr/tel-00727281

L. Ryzhyk, P. Chubb, I. Kuz, E. L. Sueur, and G. Heiser, Automatic device driver synthesis with termite, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.73-86, 2009.
DOI : 10.1145/1629575.1629583

J. Cano and G. Delaval, Coordination of ECA Rules by Verification and Control, Lecture Notes in Computer Science, vol.8459, pp.33-48, 2014.
DOI : 10.1007/978-3-662-43376-8_3

URL : https://hal.archives-ouvertes.fr/hal-01006186

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: a deployment management system, Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation , ser. PLDI '12, pp.263-274, 2012.

G. Delaval, S. M. Gueye, ´. E. Rutten, and N. Palma, Modular coordination of multiple autonomic managers, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.3-12, 2014.
DOI : 10.1145/2602458.2602465

URL : https://hal.archives-ouvertes.fr/hal-01006106