A method for efficient implementation of reliable processors | IEEE Conference Publication | IEEE Xplore