Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients | IEEE Conference Publication | IEEE Xplore