@PhdThesis{Knapp:CDRTS08,
  author =       "Steffen Knapp",
  title =        "The Correctness of a Distributed Real-Time System",
  school =       "Saarland University, Computer Science Department",
  month =        jul,
  year =         "2008",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/Kna08.pdf",
}