Modeling And Diagnosis of Avionic Systems by Hybrid Automata Using Stateflow. - Ihem Hnayen; Hedi Dhouibi; Zineb Simeu-Abazi; Eric Gascard (ICCAD, 2023)