Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL | IEEE Conference Publication | IEEE Xplore