1. Diagnosis and design for diagnosability for internet routers;Barford,2006
2. Bayesian fault diagnosis in large-scale measurement systems;Barford;Proc. IEEE Instrumentation and Measurement Technology Conference,2004
3. Functional verification of networked embedded systems;Bombieri;Proc. 6th Int’l. Symp. on Quality Electronic Design (ISQED05),2005
4. Diagnosing multiple faults;deKleer;Artificial Intelligence,1987