Modelling moving-block railway signalling systems using discrete-event simulation | IEEE Conference Publication | IEEE Xplore