@techreport{tum-i0724,
  author = 	 {Andreas Bauer and Martin Leucker and Christian
                  Schallhart},
  title = 	 {Runtime Verification for {LTL} and {TLTL}},
  year =	 2007,
  number =	 "TUM-I0724",
  month =	 Dec,
  institution =	 {Institut f\"ur Informatik, Technische Universit\"at
                  M\"unchen}
}