TY - RPRT TI - From STPA to Safe Behavior Models AU - Jette Petzold AU - Reinhard von Hanxleden PY - 2024 UR - https://arxiv.org/abs/2404.04093 ID - 2404.04093 ER -