Assessing SLA compliance from Palladio component models 2013 (1) J Perez Bernal, G Casale, Assessing SLA compliance from Palladio component models, 2013