Basic mechanisms and modeling of single-event upset in digital microelectronics | IEEE Journals & Magazine | IEEE Xplore