Elvira Albert Puri Arenas Samir Genaim Germán Puebla Damiano Zanardini Resource Usage Analysis and Its Application to Resource Certification. 258-288 2009 FOSAD http://dx.doi.org/10.1007/978-3-642-03829-7_9 conf/fosad/2009 db/conf/fosad/fosad2009.html#AlbertAGPZ09