Model-based Diagnosis in Manufacturing