@InProceedings{	  basin.ea:algorithms:2012,
  author	= {David Basin and Felix Klaedtke and Eugen Zalinescu},
  booktitle	= {Proceedings of the 2nd International Conference on Runtime
		  Verification (RV 2011)},
  language	= {USenglish},
  pages		= {260–275 },
  publisher	= {Springer},
  series	= {Lecture Notes in Computer Science},
  title		= {Algorithms for Monitoring Real-time Properties},
  volume	= 7186,
  year		= 2012,
  user		= {felixkl}
}