SEMM-2: a modeling system for single event upset analysis | IEEE Journals & Magazine | IEEE Xplore