Fournier, P.-M. (2009). Analyse automatisée des causes de blocage de processus à partir d'une trace d'exécution [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible