E. Ábrahám, F. Corzilius, E. B. Johnsen, G. Kremer, and J. Mauro, Zephyrus2: on the fly deployment optimization using SMT and CP technologies, SETTA 2016, vol.9984, pp.229-245, 2016.

, Amazon: Amazon CloudWatch, 2019.

, Amazon: AWS auto scaling, 2019.

A. Mesos, , 2019.

A. Bergmayr, A systematic review of cloud modeling languages, ACM Comput. Surv, vol.51, issue.1, p.38, 2018.

F. Boyer, O. Gruber, and D. Pous, Robust reconfigurations of component assemblies, ICSE, pp.13-22, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00966078

M. Bravetti, S. Giallorenzo, J. Mauro, I. Talevi, and G. Zavattaro, Code repository for the email processing example, 2019.

M. Bravetti, S. Giallorenzo, J. Mauro, I. Talevi, and G. Zavattaro, Optimal and automated deployment for microservices, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02387483

M. Bravetti, S. Gilmore, C. Guidi, and M. Tribastone, Replicating web services for scalability, TGC 2007, vol.4912, pp.204-221, 2008.

A. Brogi, A. Canciani, and J. Soldani, Modelling and analysing cloud application management, ESOCC 2015, vol.9306, pp.19-33, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01757559

M. Chardet, H. Coullon, D. Pertin, and C. Pérez, Madeus: a formal deployment model, pp.724-731, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01858150

, Chuffed Team: The CP solver, 2019.

D. Cosmo, R. Lienhardt, M. Mauro, J. Zacchiroli, S. Zavattaro et al., Automatic application deployment in the cloud: from practice to theory and back, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, vol.42, pp.1-16, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01233426

D. Cosmo, R. Mauro, J. Zacchiroli, S. Zavattaro, and G. , Aeolus: a component model for the cloud, Inf. Comput, vol.239, pp.100-121, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091062

D. Cosmo, R. Zacchiroli, S. Zavattaro, and G. , Towards a formal component model for the cloud, SEFM 2012, vol.7504, pp.156-171, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909369

, Docker: Docker compose documentation, 2019.

, Docker: Docker swarm, 2019.

N. Dragoni, Microservices: yesterday, today, and tomorrow, Present and Ulterior Software Engineering, pp.195-216, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01631455

F. Durán and G. Salaün, Robust and reliable reconfiguration of cloud applications, J. Syst. Softw, vol.122, pp.524-537, 2016.

I. Feinerer, Efficient large-scale configuration via integer linear programming, AI EDAM, vol.27, issue.1, pp.37-49, 2013.

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

K. Fromm, Thinking Serverless! How New Approaches Address Modern Data Processing Needs, 2019.

, GECODE: an open, free, efficient constraint solving toolkit, 2019.

, Google: Optimization tools, 2019.

S. De-gouw, J. Mauro, B. Nobakht, and G. Zavattaro, Declarative elasticity in ABS, ESOCC 2016, vol.9846, pp.118-134, 2016.

J. M. Hellerstein, Serverless computing: one step forward, two steps back, 2018.

J. A. Hewson, P. Anderson, and A. D. Gordon, A declarative approach to automated configuration, 2012.

K. Hightower, B. Burns, and J. Beda, Kubernetes: Up and Running Dive into the Future of Infrastructure, 1st edn, 2017.

J. Humble and D. Farley, Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation, 2010.

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: a core language for abstract behavioral specification, FMCO 2010, vol.6957, pp.142-164, 2011.

L. Kanies, Puppet: next-generation configuration management. ;login: USENIX Mag, vol.31, pp.19-25, 2006.

J. Mauro, , 2019.

J. Mauro and G. Zavattaro, On the complexity of reconfiguration in systems with legacy components, MFCS 2015, vol.9234, pp.382-393, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01233482

S. Mccombs, Outages? Downtime?, 2019.

D. Merkel, Docker: lightweight Linux containers for consistent development and deployment, Linux J, vol.2014, issue.239, 2014.

. Opscode, , 2019.

, Puppet Labs: Marionette collective, 2019.

D. Woods, On infrastructure at scale: a cascading failure of distributed systems, 2019.