@phdthesis{RobinsonMallett2005,
  author      = {Christopher Robinson-Mallett},
  title       = {Modellbasierte Modulpr{\"u}fung f{\"u}r die Entwicklung technischer, softwareintensiver Systeme mit Real-Time Object-Oriented Modeling},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2005},
}