A Diagnostic Algorithm based on Models at Different Level of Abstraction. - Massimo Gallanti; Marco Roncato; Alberto Stefanini; Giorgio Tornielli (IJCAI, 1989)