E-mc2: A formal framework for energy modelling in cloud computing | Publicación