@article{Bauer_LS_11,
    title            = {Runtime Verification for {LTL} and {TLTL}},
    month            = apr,
    keywords         = {runtime verification, temporal logic, software verification},
    journal          = {ACM Transactions on Software Engineering and Methodology},
    volume           = {20},
    number           = {4},
    author           = {Bauer, Andreas and Leucker, Martin and Schallhart, Christian},
    year             = {2011},
    pages            = {75},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5111.pdf}
  }