@misc{indiciae0d7718806f12,
  title = {Foundational Analysis of Safety Engineering Requirements (SAFER)},
  author = {Noga Chemo and Yaniv Mordecai and Yoram Reich},
  year = {2026},
  url = {https://arxiv.org/abs/2601.06335},
  note = {Source identifier: 2601.06335}
}