Automatic Fault Tree Generation from Radiation-Induced Fault Models | IEEE Conference Publication | IEEE Xplore