« La détection latente comme méthode d’abstraction des Réseaux Petri colorés pour le diagnostique d’erreurs des systèmes complexes » (2015) Ontare, 3(1), p. 97–124. doi:10.21158/23823399.v3.n1.2015.1252.