Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426. ISBN 978-1-4799-7881-6. (2014)