Peterson, K. (2005). Environnement de validation en temps réel basé sur des assertions pour les systèmes matériels [Master's thesis, École Polytechnique de Montréal]. Available