A radiation-hardened 32-bit microprocessor based on the commercial CMOS process | IEEE Journals & Magazine | IEEE Xplore