@inproceedings{BasinKMZ-RV13,
  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},
  booktitle = {4th International Conference on Runtime Verification (RV'2013)},
  year = 2013,
  pages = {40--58},
  series = {Lecture Notes in Computer Science},
  volume = {8174},
  publisher = {Springer},
  doi = {10.1007/978-3-642-40787-1_3},
}