Automatic Inference of Resource Consumption Bounds | Publicación