Pietro Baroni Gianfranco Lamperti Paolo Pogliano Marina Zanella Diagnosis of Active Systems. 274-278 1998 ECAI db/conf/ecai/ecai98.html#BaroniLPZ98