User-Definable Resource Usage Bounds Analysis for Java Bytecode | Publicación