Verification of assurance of space on-board distributed computer system | IEEE Conference Publication | IEEE Xplore