Merino, Alberto Tolosana-Calasanz, Rafael Bañares, José Ángel Colom, José Manuel A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services Lect. notes comput. sci. 10.1007/978-3-319-43177-2_10 2016 2016