@article{Bauer_LS_10,
    title            = {Comparing {LTL} semantics for runtime verification},
    month            = jun,
    keywords         = {runtime veficiation, monitoring, finite trace semantics, ltl, vta},
    journal          = {Journal of Logic and Computation},
    volume           = {20},
    number           = {3},
    author           = {Bauer, Andreas and Leucker, Martin and Schallhart, Christian},
    year             = {2010},
    pages            = {651--674},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3976.pdf}
  }