Elvira Albert Richard Bubel Samir Genaim Reiner Hähnle Germán Puebla Guillermo Román-Díez Verified resource guarantees using COSTA and KeY. 73-76 2011 PEPM http://doi.acm.org/10.1145/1929501.1929513 conf/pepm/2011 db/conf/pepm/pepm2011.html#AlbertBGHPR11