@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}, }