The Containment Set Approach to Upsets in Digital Systems. - Robert E. Glaser; Gerald M. Masson (IEEE Trans. Computers, 1982)