@PhdThesis{kupferschmid-thesis,
  author =	 {Sebastian Kupferschmid},
  title =	 {Directed Model Checking for Timed Automata},
  school =	 {Albert-Ludwigs-Universit{\"a}t Freiburg},
  year =	 2009
}