P. Abate and S. Johannes, Bootstrapping software distributions, Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, 2013.
DOI : 10.1145/2465449.2465461

E. Albert, P. Arenas, A. Flores-montoya, S. Genaim, M. Gómez-zamalloa et al., SACO: Static Analyzer for Concurrent Objects, ETAPS, 2014.
DOI : 10.1007/978-3-642-54862-8_46

A. Brogi, A. Canciani, and J. Soldani, Modelling and Analysing Cloud Application Management, 2015.
DOI : 10.1007/978-3-642-45005-1_64

M. Burgess, A Site Configuration Engine, Computing Systems, issue.2, 1995.

D. Clarke, R. Muschevici, J. Proença, I. Schaefer, and R. Schlatte, Variability Modelling in the ABS Language, FMCO, 2010.
DOI : 10.1007/978-3-540-24667-1_10

R. D. Cosmo, M. Lienhardt, J. Mauro, S. Zacchiroli, G. Zavattaro et al., Automatic Application Deployment in the Cloud: from Practice to Theory and Back, CONCUR, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01233426

R. D. Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli, J. Zwolakowski et al., Automated synthesis and deployment of cloud applications, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, 2014.
DOI : 10.1145/2642937.2642980

S. De-gouw, M. Lienhardt, J. Mauro, B. Nobakht, and G. Zavattaro, On the Integration of Automatic Deployment into the ABS Modeling Language, ESOCC, 2015.
DOI : 10.1109/ICTAI.2013.41
URL : https://hal.archives-ouvertes.fr/hal-01170926

C. C. Din, R. Bubel, and R. Hähnle, KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS, 2015.
DOI : 10.1007/978-3-319-21401-6_35

N. Ferry, F. Chauvel, A. Rossini, B. Morin, and A. Solberg, Managing multi-cloud systems with CloudMF, Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, 2013.
DOI : 10.1145/2513534.2513542

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: a deployment management system, PLDI, 2012.

E. Giachino, C. Laneve, and M. Lienhardt, A framework for deadlock detection in core??ABS, Software & Systems Modeling, vol.14, issue.5, 2015.
DOI : 10.1145/960112.28722
URL : https://hal.archives-ouvertes.fr/hal-01229046

G. E. Gonçalves, P. T. Endo, M. A. Santos, D. Sadok, J. Kelner et al., CloudML: An Integrated Language for Resource, Service and Request Description for D-Clouds, 2011 IEEE Third International Conference on Cloud Computing Technology and Science, 2011.
DOI : 10.1109/CloudCom.2011.60

J. A. Hewson, P. Anderson, and A. D. Gordon, A Declarative Approach to Automated Configuration, 2012.

L. Kanies, Puppet: Next-generation configuration management. ;login: the USENIX magazine, 2006.

A. Rendl, T. Guns, P. J. Stuckey, and G. Tack, MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc, CP, 2015.
DOI : 10.1007/978-3-319-23219-5_27

P. Y. Wong, R. Bubel, F. S. De-boer, M. Gómez-zamalloa, S. De-gouw et al., Testing abstract behavioral specifications, International Journal on Software Tools for Technology Transfer, vol.14, issue.5, pp.107-119, 2015.
DOI : 10.1007/s10009-012-0250-1
URL : http://kth.diva-portal.org/smash/get/diva2:795705/FULLTEXT01

R. Zabolotnyi, P. Leitner, W. Hummer, and S. Dustdar, JCloudScale, ACM Transactions on Internet Technology, vol.15, issue.3, p.10, 2015.
DOI : 10.1109/PESOS.2013.6635974