Masking wrong-successor Control Flow Errors employing data redundancy | IEEE Conference Publication | IEEE Xplore