@phdthesis{Kiekbusch17,
  author = {Lisa Kiekbusch},
  title = {Analysis and Verification of Complex Robot Systems using Behaviour-Based Control},
  school = {Department of Computer Science, University of Kaiserslautern},
  year = {2017},
  month = {March},
}