A fault-tolerant protocol for railway control systems | IEEE Conference Publication | IEEE Xplore