A tool for the automatic analysis of single events effects on electronic circuits | IEEE Conference Publication | IEEE Xplore