SEMM-2: A new generation of single-event-effect modeling tools | IBM Journals & Magazine | IEEE Xplore