Decomposing Automatic Train Control Verification System with Projection | IEEE Conference Publication | IEEE Xplore