@misc{indiciaec994b164c3ae,
  title = {From STPA to Safe Behavior Models},
  author = {Jette Petzold and Reinhard von Hanxleden},
  year = {2024},
  url = {https://arxiv.org/abs/2404.04093},
  note = {Source identifier: 2404.04093}
}