Towards an End-to-End Toolchain for Traceable and Verifiable Railway Signalling Specifications. - Frederic Reiter; Roman Wetenkamp; Robert Schmid; Richard Kretzschmar; Lukas Iffländer (ABZ, 2025)