A distribution function for double-bit upsets | IEEE Journals & Magazine | IEEE Xplore