@TechReport{LeuckerTobies98,
   author=      "Martin Leucker and Stephan Tobies",
   title=       "Truth - {A} {V}erification {P}latform for {D}istributed {S}ystems",
   institution= "RWTH Aachen",
   year=        "1998",
   number=      "AIB-05-1998",
   url=         "http://aib.informatik.rwth-aachen.de/1998/1998-05.ps.gz"
}