Contribution à l'analyse de testabilité des systèmes réactifs temps-réel : Aide à la validation et à la vérification de systèmes. (Contribution to the testability analysis of reactive real-time systems: supporting systems validation and verification). - Fassely Doumbia (2010)