Infinite Runs in Weighted Timed Automata with Energy Constraints | Publicación