Daniela Micucci Marco Oldani Francesco Tisato Real-time reasoning: the case of surveillance systems. 2005 conf/etfa/2005 ETFA http://doi.ieeecomputersociety.org/10.1109/ETFA.2005.1612529 db/conf/etfa/etfa2005.html#MicucciOT05