A Framework for Specification and Verification of Timing Constraints | Publicación