Removal of all Faulty Nodes from a Fault-Tolerant Service by means of Distributed Diagnosis with Imperfect Fault Coverage. - André Postma; Gerie Hartman; Thijs Krol (EDCC, 1996)