Radiation hardened 32-bit RISC microprocessor | IEEE Conference Publication | IEEE Xplore