Elvira Albert Puri Arenas Samir Genaim German Puebla Damiano Zanardini COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. 113-132 2007 FMCO http://dx.doi.org/10.1007/978-3-540-92188-2_5 conf/fmco/2007 db/conf/fmco/fmco2007.html#AlbertAGPZ07