COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode | Publicación