A high assurance on-line recovery technology for a space on-board computer | IEEE Conference Publication | IEEE Xplore