Formal Methods And Hybrid Real-Time Systems door