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)