A high assurance timing synchronization technology for space on-board distributed computer systems | IEEE Conference Publication | IEEE Xplore