Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption | Publicación