Lamouchi, M. H. (2000). Synthèse de superviseurs pour des systèmes à événements discrets partiellement observés [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible