Digital system design in the presence of single event upsets | IEEE Journals & Magazine | IEEE Xplore