@article{BasinKMZ-FMSD15,
  author = {David Basin and Felix Klaedtke and Srdjan Marinovic and Eugen Zalinescu},
  title = {Monitoring of {T}emporal {F}irst-order {P}roperties with {A}ggregations},
  journal = {Formal Methods in System Design},
  year = 2015,
  pages = {262--285},
  volume = {46},
  number = {3},
  publisher = {Springer},
  doi = {10.1007/s10703-015-0222-7},
}