@misc{indiciae0660f17d3226, title = {Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology}, author = {Josh Hunter and John McDermid and Simon Burton}, year = {2024}, url = {https://arxiv.org/abs/2403.12114}, note = {Source identifier: 2403.12114} }