Compositional verification of component-based real-time systems and applications. (Vérification compositionnelle des systèmes temps-réel à base de composants et applications). - Souha Ben Rayana-Tekaya (2016)