Formal Methods And Hybrid Real-Time Systems by