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