Architectures for fault-tolerant spacecraft computers | IEEE Journals & Magazine | IEEE Xplore