Interval-Based Resource Usage Verification: Formalization and Prototype | Publicación