Runtime Monitoring of Metric First-order Temporal Properties.

David A. Basin Felix Klaedtke Samuel Müller Birgit Pfitzmann Runtime Monitoring of Metric First-order Temporal Properties. 2008 FSTTCS http://drops.dagstuhl.de/opus/volltexte/2008/1740 conf/fsttcs/2008 db/conf/fsttcs/fsttcs2008.html#BasinKMP08