Rim Belhassine-Cherif Abderrazak Ghedamsi Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines. 661-666 http://doi.ieeecomputersociety.org/10.1109/ISCC.2001.935446 2001 conf/iscc/2001 ISCC db/conf/iscc/iscc2001.html#Belhassine-CherifG01