E. Albert, F. S. De-boer, R. Hähnle, E. B. Johnsen, R. Schlatte et al., Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS, Service Oriented Computing and Applications, vol.14, issue.5, pp.323-339, 2014.
DOI : 10.1007/s11761-013-0148-0

E. Albert, J. C. Fernández, E. B. Johnsen, and G. Román-díez, Parallel Cost Analysis of Distributed Systems, Proceedings of SAS 2015, 2015.
DOI : 10.1007/978-3-662-48288-9_16

R. Buyya, C. S. Yeo, S. Venugopal, J. Broberg, and I. Brandic, Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility, Future Generation Computer Systems, vol.25, issue.6, pp.599-616, 2009.
DOI : 10.1016/j.future.2008.12.001

A. , F. Montoya, and R. Hähnle, Resource analysis of complex programs with cost equations, Proceedings of 12th Asian Symposium on Programming Languages and Systems, pp.275-295, 2014.

A. Garcia, C. Laneve, and M. Lienhardt, Static analysis of cloud elasticity, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP '15, 2015.
DOI : 10.1145/2790449.2790524
URL : https://hal.archives-ouvertes.fr/hal-01229424

R. Hähnle and E. B. Johnsen, Designing Resource-Aware Cloud Applications, Computer, vol.48, issue.6, pp.72-75, 2015.
DOI : 10.1109/MC.2015.172

E. B. Johnsen, K. I. Pun, M. Steffen, S. L. Tapia-tarifa, and I. C. Yu, Meeting Deadlines, Elastically, From Action Systems to Distributed Systems: the Refinement Approach, 2015.
DOI : 10.1201/b20053-11

E. B. Johnsen, R. Schlatte, and S. L. Tapia-tarifa, Integrating deployment architectures and resource consumption in timed object-oriented models, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.1, pp.67-91, 2015.
DOI : 10.1016/j.jlamp.2014.07.001

P. W. Trinder, M. I. Cole, K. Hammond, H. Loidl, and G. Michaelson, Resource analyses for parallel and distributed coordination. Concurrency and Computation: Practice and Experience, pp.309-348, 2013.