@Inproceedings{EPTCS302.1, author = {de Boer, Frank S. and Giachino, Elena and de Gouw, Stijn and H\"ahnle, Reiner and Johnsen, Einar Broch and Laneve, Cosimo and Pun, Ka I and Zavattaro, Gianluigi}, year = {2019}, title = {Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach}, editor = {Ancona, Davide and Pace, Gordon}, booktitle = {{\rm Proceedings of the Second Workshop on} Verification of Objects at RunTime EXecution, {\rm Amsterdam, Netherlands, 17th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {302}, publisher = {Open Publishing Association}, pages = {1-15}, doi = {10.4204/EPTCS.302.1}, }