Soft-error detection using control flow assertions | IEEE Conference Publication | IEEE Xplore