Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems | IEEE Conference Publication | IEEE Xplore