Principles of Safety Signalling and Traffic Control Systems Synthesis on Railways | IEEE Conference Publication | IEEE Xplore