A high assurance space on-board distributed computer system | IEEE Conference Publication | IEEE Xplore