Validation and testing of design hardening for single event effects using the 8051 microcontroller | IEEE Conference Publication | IEEE Xplore