Gianfranco Lamperti Federica Vivenzi Marina Zanella On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems. 44-53 2008 ICEIS (2) conf/iceis/2008-2 db/conf/iceis/iceis2008-2.html#LampertiVZ08