Fournier, P.-M. (2009). Analyse automatisée des causes de blocage de processus à partir d'une trace d'exécution [Master's thesis, École Polytechnique de Montréal]. Available