A stimulus-free probabilistic model for single-event-upset sensitivity | IEEE Conference Publication | IEEE Xplore