Detection of soft errors through checksums in redundant execution systems | IEEE Conference Publication | IEEE Xplore