@phdthesis{Becker2014,
  author      = {Basil Becker},
  title       = {Architectural modelling and verification of open service-oriented systems of systems},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2014},
}