SIFT: Design and analysis of a fault-tolerant computer for aircraft control | IEEE Journals & Magazine | IEEE Xplore