U. Heller

• Process-Oriented Consistency-Based Diagnosis