George Macleod Coghill Qiang Shen On the specification of multiple models for diagnosis of dynamic systems. 93-104 2001 14 AI Commun. 2 db/journals/aicom/aicom14.html#CoghillS01