Khaled El-Fakih Nina Yevtushenko Gregor von Bochmann Diagnosing Multiple Faults in Communicating Finite State Machines. 85-100 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#El-FakihYB01