Gianfranco Lamperti Marina Zanella On Processing Temporal Observations in Monitoring of Discrete-Event Systems. 135-146 2006 conf/iceis/2006sp ICEIS (Selected Papers) http://dx.doi.org/10.1007/978-3-540-77581-2_9 db/conf/iceis/iceis2006sp.html#LampertiZ06a