Verification and Implementation of the Protocol Standard in Train Control System | IEEE Conference Publication | IEEE Xplore