Design by extrapolation: an evaluation of fault-tolerant avionics | IEEE Conference Publication | IEEE Xplore