@phdthesis{WachterPhd,
  title = "Refined Probabilistic Abstraction",
  author = "Björn Wachter",
  year = "2010",
  isbn = "978-3-8325-2764-8",
  publisher = "Logos Verlag Berlin",
}