Self-checking instructions — reducing instruction redundancy for concurrent error detection | IEEE Conference Publication | IEEE Xplore