@article{BasinKMZ-JACM15,
  author = {David Basin and Felix Klaedtke and Samuel Muller and Eugen Zalinescu},
  title = {Monitoring {M}etric {F}irst-order {T}emporal {P}roperties},
  journal = {Journal of the ACM},
  month = {April},
  year = 2015,
  pages = {15:1--15:45},
  volume = {62},
  number = {2},
  publisher = {ACM},
  doi = {10.1145/2699444},
}