@misc{PetzoldvH24,
  title = {From {STPA} to Safe Behavior Models},
  author = {Jette Petzold and Reinhard von Hanxleden},
  year = {2024},
  month = {April},
  primaryclass = {cs.SE},
  doi = {10.48550/arXiv.2404.04093},
  pdf = {arxiv24b.pdf},
}