Detection of Silent Data Corruption in fault-tolerant distributed systems on board spacecraft | IEEE Conference Publication | IEEE Xplore