@article{Bauer_2009,
    doi = {10.1093/logcom/exn075},
    url = {https://doi.org/10.1093%2Flogcom%2Fexn075},
    year = {2009},
    month = {feb},
    publisher = {Oxford University Press ({OUP})},
    volume = {20},
    number = {3},
    pages = {651--674},
    author = {A. Bauer and M. Leucker and C. Schallhart},
    title = {Comparing {LTL} Semantics for Runtime Verification},
    journal = {Journal of Logic and Computation}
}

@article{Bauer_2009, doi = {10.1093/logcom/exn075}, url = {https://doi.org/10.1093%2Flogcom%2Fexn075}, year = {2009}, month = {feb}, publisher = {Oxford University Press ({OUP})}, volume = {20}, number = {3}, pages = {651--674}, author = {A. Bauer and M. Leucker and C. Schallhart}, title = {Comparing {LTL} Semantics for Runtime Verification}, journal = {Journal of Logic and Computation} }