A high assurance on-board computer system for use on spacecraft | IEEE Conference Publication | IEEE Xplore