@techreport{tum-i0518,
  author =	 "Oliver Arafat and Andreas Bauer and Martin Leucker
                  and Christian Schallhart",
  year =	 2005,
  title =	 "Runtime verification revisited",
  number =	 "TUM-I0518",
  month =	 Oct,
  institution =	 {Institut f\"ur Informatik, Technische Universit\"at
                  M\"unchen}
}