Verification and Synthesis of Hybrid Systems. (Vérification et synthèse des systèmes hybrides). - Thi Xuan Thao Dang (2000)