Formal Methods and Hybrid Real-Time Systems