High reliability in spacecraft computer systems | IEEE Conference Publication | IEEE Xplore