Verification of metro track signalling layout based on microscopic simulation | IEEE Conference Publication | IEEE Xplore