{A Constraint-Based Approach for Specification and Verification of Real-Time Systems}