Peterson, K. (2005). Environnement de validation en temps réel basé sur des assertions pour les systèmes matériels [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
