@InProceedings{Basin_etal:FO_runtime_monitoring,
  author = 	 {David Basin and Felix Klaedtke and Samuel M\"uller and Birgit Pfitzmann},
  title = 	 {Runtime Monitoring of Metric First-order Temporal Properties},
  booktitle =    {Proceedings of the 28th IARCS Annual Conference on
                  Foundations of Software Technology and Theoretical Computer Science (FSTTCS'08)},
  pages = 	 {49--60},
  year = 	 {2008},
  volume =       {2},
  series =       {Leibniz International Proceedings in Informatics (LIPIcs)},
  publisher =    {Schloss Dagstuhl - Leibniz Center for Informatics},
}