1. Pragmatic model-based diagnosis;Bakker,1992
2. Re-using configuration information: High-level diagnosis of Philips P9000 computer systems;Bakker,1992
3. Yourdon specifications of the Diagnostic Toolbox;van den Bempt,1992
4. Z specifications of the Diagnostic Toolbox: the diagnostic module;van den Bempt,1992
5. Diagnostic reasoning based on structure and behavior;Davis,1984