System control for fault-tolerant avionics architectures | IEEE Conference Publication | IEEE Xplore