Yannick Pencolé Diagnosability Analysis of Distributed Discrete Event Systems. 43-47 2004 conf/ecai/2004 ECAI db/conf/ecai/ecai2004.html#Pencole04