Akalay, M. (2000). Génération automatique de tests pour des systèmes en temps réel [Master's thesis, École Polytechnique de Montréal]. Unavailable