Thibeault, J.-F. (2006). Exploration de techniques de modélisation et de vérification logicielle en avionique [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible