Friedrich Steimann Peter Fröhlich Wolfgang Nejdl Model-Based Diagnosis for Open Systems Fault Management. 5-17 1999 12 AI Commun. 1-2 db/journals/aicom/aicom12.html#SteimannFN99