Boi Faltings Working Group in Model-Based Design and Reasoning. Part I: Modeling and Diagnosis. 59-64 1996 9 AI Commun. 2 db/journals/aicom/aicom9.html#Faltings96