Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 1-15 (2019) Boer, F S D, Giachino, E, Gouw, S D, Hähnle, R, Johnsen, E B, Laneve, C, Pun, K I & Zavattaro, G 2019, Analysis of SLA Compliance in the Cloud : An Automated, Model-based Approach . in D Ancona & G Pace (eds), Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018 . vol. 302, Open Publishing Association, pp. 1-15, Second Workshop on Verification of Objects at RunTime EXecution, Amsterdam, Netherlands, 17/07/18 . https://doi.org/10.4204/EPTCS.302.1 Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution: Amsterdam, Netherlands, 17th July 2018, 302, 1-15 Electronic Proceedings in Theoretical Computer Science