A statistical approach for the determination of the probability of upset of digital circuits | IEEE Conference Publication | IEEE Xplore