A Prototype for Model-based On-board Diagnosis of Automotive Systems. - Martin Sachenbacher; Peter Struss; Claes M. Calén (AI Commun., 2000)