@phdthesis{Armbrust2015,
  author      = {Christopher Armbrust},
  title       = {Design and Verification of Behaviour-Based Systems Realising Task Sequences},
  type        = {doctoralthesis},
  pages       = {X, 221},
  school      = {Technische Universit{\"a}t Kaiserslautern},
  year        = {2015},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-41814},
}