⏰ Timed AutomataSpecificReal-Time Systems, Clock Constraints, Uppaal, Model Checking, Temporal Properties