@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},
}