Modeling single-event effects in a complex digital device | IEEE Journals & Magazine | IEEE Xplore