@article{bauer:leucker:schallhart:jlc10,
  author =	 {Andreas Bauer and Martin Leucker and Christian Schallhart},
  title =	 {Comparing {LTL} semantics for runtime verification},
  journal =      {Logic and Computation},
  year =	 2010,
  volume =       20,
  number =       3,
  pages =        {651--674},
}