Andre Lage Freitas, Nikos Parlavantzas, Jean-Louis Pazat: An Integrated Approach for Specifying and Enforcing SLAs for Cloud Services. IEEE CLOUD 2012: 376-383