Energy Consumption Analysis and Verification by Transformation into Horn Clauses and Abstract Interpretation | Publicación