Analysis of SLA compliance in the cloud: An automated, model-based approach