Model-Based Diagnosis: An Overview. - Mozetic, Igor (1992)