Vérification de la sûreté des systèmes hybrides