@phdthesis{Rehfeld2016,
  author      = {Stephan Rehfeld},
  title       = {Untersuchung der Nebenl{\"a}ufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t W{\"u}rzburg},
  year        = {2016},
}