TY - RPRT TI - Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology AU - Josh Hunter AU - John McDermid AU - Simon Burton PY - 2024 UR - https://arxiv.org/abs/2403.12114 ID - 2403.12114 ER -