REBAIAIA, Mohamed-Larbi (2010) Spécification et Vérification des Systèmes Critiques : Extension de l’Environnement VALID pour la Prise en Charge du Temps Réel. Doctoral thesis, Université de Batna 2.