@InProceedings{Basin_etal:realtime_monitoring,
  author = 	 {David Basin and Felix Klaedtke and Eugen Z\u{a}linescu},
  title = 	 {Algorithms for Monitoring Real-time Properties},
  booktitle =    {Proceedings of the 2nd International Conference on
                  Runtime Verification (RV)},
  pages = 	 {260--275},
  year = 	 {2012},
  volume = 	 {7186},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}