Towards a Formal Specification of SLAs with Compensations | Publicación