A hybrid system approach towards redundant fault-tolerant control systems | IEEE Conference Publication | IEEE Xplore