Modeling and verification of single event transients in deep submicron technologies | IEEE Conference Publication | IEEE Xplore