Théorie de graphe et vérication des systèmes temps réels - Oucheikh Rachid (My University, 2016)