Model Checking UML Specifications of Real-Time Software