Thèse de doctorat: Etude de la qualité de test des systèmes temporisés