@InProceedings{bauer:leucker:schallhart:FSTTCS06,
  author =	 {Andreas Bauer and Martin Leucker and Christian Schallhart},
  editor =       {S. Arun-Kumar and N. Garg},
  title =	 {Monitoring of real-time properties},
  booktitle =	 {Proceedings of the 26th Conference on Foundations of
         Software Technology and Theoretical Computer Science (FSTTCS)},
  year =	 2006,
  series =	 {Lecture Notes in Computer Science},
  volume =	 4337,
  month =	 Dec,
  publisher =	 {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  isbn =         {3-540-49994-6}
}