@TechReport{AIB2007-15,
  author =	 "Volker Stolz",
  title =	 "Temporal assertions for sequential and concurrent programs",
  institution =	 "RWTH Aachen University",
  year =	 "2007",
  number =	 "AIB-2007-15",
  month =	 aug,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-15.pdf",
}