@book{Ropertz19,
  author = {Thorsten Ropertz},
  title = {Design and Analysis of Behavior-Based Systems using Formal Techniques},
  publisher = {Verlag Dr. Hut},
  year = {2019},
  series = {RRLab Dissertations},
  address = {M\"{u}nchen},
  note = {\url{https://www.dr.hut-verlag.de/978-3-8439-4189-1.html} ISBN-13: 978-3-8439-4189-1},
}