@article{BasinKZ-AI2017,
  author = {David Basin and Felix Klaedtke and Eugen Zalinescu},
  title = {Algorithms for monitoring real-time properties},
  journal = {Acta Informatica},
  year = 2017,
  pages = {1--30},
  doi = {10.1007/s00236-017-0295-4},
}