On the Inference of Resource Usage Upper and Lower Bounds | Publicación