Passive supervisor for railway fault-tolerant Ethernet networked control systems | IEEE Conference Publication | IEEE Xplore