A. En-Nouaary, R. Dssouli, F. Khendek and A. Elqortobi "Timed Test Cases Generation Based On State Characterization Technique". Accepted at the 19th IEEE Real Time Systems Symposium (RTSS'98)

A. En-Nouaary, H. Fouchal, A. Elqortobi, R. Dssouli, E.Petitjean "Timed Testing Using Clock Zone Vertices", RT, Département d'IRO, Université de Montréal, 1998)

A. Elqortobi, A. En-Nouaary, G. v. Bochmann "Dénombrement des régions d'horloges pour les automates temporisés", Publication # 1116, Département d'IRO, Université de Montréal, (1998).

A. Ennouaary, R. Dssouli et A. Elqortobi, (1997) "Génération des tests temporisés", Colloque Francophone sur l'ingénierie des Protocoles de communication CFIP'97, Liège, Belgique, Publie chez HERMES ISBN 2-86601-639-4.

Fatna Belqasmi, "Generation des Tests pour les Systemes Temps-Reel " Rapport de stage de fin d'études de l'École d'ingénieurs ENSIAS, fait à l'Université de Montréal .