@mastersthesis{Fruth2005formal,
  address = "Germany",
  author = "Matthias Fruth",
  note = "Diplomarbeit",
  school = "TU Dresden",
  title = "Formal Verification of Embedded Real-Time Systems",
  year = "2005",
}