@phdthesis{toben09_phd,
  author   = "Tobe Toben",
  title    = {{Analysis of Dynamic Evolution Systems by Spotlight Abstraction Refinement}},
  school   = "Carl von Ossietzky Universit{\"a}t Oldenburg, Germany",
  month    = feb,
  year     = 2009,
  note     = "urn:nbn:de:gbv:715-oops-8760"
}