Fault-tolerant computer for the Automated Transfer Vehicle | IEEE Conference Publication | IEEE Xplore