@book{Armbrust15a,
  author = {Christopher Armbrust},
  title = {Design and Verification of Behaviour-Based Systems Realising Task Sequences},
  publisher = {Verlag Dr. Hut, M\"{u}nchen},
  year = {2015},
  series = {RRLab Dissertations},
  note = {\url{http://www.dr.hut-verlag.de/978-3-8439-2261-6.html} ISBN-13: 978-3-8439-2261-6},
}