R. Abid, G. Salaün, F. Bongiovanni, and N. Palma, Verification of a Dynamic Management Protocol for Cloud Applications, Proc. of ATVA'13, pp.178-192, 2013.
DOI : 10.1007/978-3-319-02444-8_14
URL : https://hal.archives-ouvertes.fr/hal-00863262

S. Basu and T. Bultan, Automatic verification of interactions in asynchronous systems with unbounded buffers, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.743-754, 2014.
DOI : 10.1145/2642937.2643016

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

A. Brogi, A. Canciani, J. Soldani, and P. Wang, Modelling the Behaviour of Management Operations in Cloud-based Applications, Proc. of PNSE'15, volume 1372 of CEUR Workshop Proceedings, pp.191-205, 2015.

R. Buyya, R. N. Calheiros, and X. Li, Autonomic Cloud computing: Open challenges and architectural elements, 2012 Third International Conference on Emerging Applications of Information Technology, pp.3-10, 2012.
DOI : 10.1109/EAIT.2012.6407847

R. Di-cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Aeolus: A component model for the cloud, Information and Computation, vol.239, pp.100-121, 2014.
DOI : 10.1016/j.ic.2014.11.002
URL : https://hal.archives-ouvertes.fr/hal-01091062

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

G. Delaval, H. Marchand, and E. Rutten, Contracts for Modular Discrete Controller Synthesis, Proc. of LCTES'10, pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00436560

X. Etchevers, G. Salaün, F. Boyer, T. Coupaye, and N. Palma, Reliable Selfdeployment of Cloud Applications, Proc. of SAC'14, pp.1331-1338, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00934042

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056

S. M. Gueye, N. De-palma, E. Rutten, and A. Tchana, Coordinating multiple administration loops using discrete control, ACM SIGOPS Operating Systems Review, vol.47, issue.3, pp.18-25, 2013.
DOI : 10.1145/2553070.2553074
URL : https://hal.archives-ouvertes.fr/hal-00949555

S. M. Gueye, E. Rutten, and A. Tchana, Discrete Control for the Coordination of Administration Loops, 2012 IEEE Fifth International Conference on Utility and Cloud Computing, pp.353-358, 2012.
DOI : 10.1109/UCC.2012.57

H. Hermanns, Interactive Markov Chains: And the Quest for Quantified Quality, LNCS, vol.2428, 2002.

H. Hermanns and J. P. Katoen, Automated compositional Markov chain generation for a plain-old telephone system, Science of Computer Programming, vol.36, issue.1, pp.97-127, 2000.
DOI : 10.1016/S0167-6423(99)00019-2

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, 1979.

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

J. O. Kephart, Research Challenges of Autonomic Computing, Proc. of ICSE'05, pp.15-22, 2005.

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

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

F. A. De-oliveira, T. Ledoux, and R. Sharrock, A Framework for the Coordination of Multiple Autonomic Managers in Cloud Environments, 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems, pp.179-188, 2013.
DOI : 10.1109/SASO.2013.27
URL : https://hal.archives-ouvertes.fr/hal-00839090

F. A. De-oliveira, R. Sharrock, and T. Ledoux, Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing, Proc. of COORDINA- TION'12, pp.29-43, 2012.
DOI : 10.1007/978-3-642-30829-1_3
URL : https://hal.archives-ouvertes.fr/hal-00682914

M. Parashar, H. Liu, Z. Li, V. Matossian, C. Schmidt et al., AutoMate: Enabling Autonomic Applications on the Grid, Cluster Computing, vol.45, issue.8???9, pp.161-174, 2006.
DOI : 10.1007/s10586-006-7561-5

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

A. B. Seboui, N. B. Hadj-alouane, G. Delaval, ´. E. Rutten, and M. Yeddes, An approach for the synthesis of decentralised supervisors for distributed adaptive systems, International Journal of Critical Computer-Based Systems, vol.2, issue.3/4, pp.246-265, 2011.
DOI : 10.1504/IJCCBS.2011.042328
URL : https://hal.archives-ouvertes.fr/hal-00784991

W. M. Wonham and P. J. Ramadge, On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987.
DOI : 10.1137/0325036