Exploiting Fault Model Correlations to Accelerate SEU Sensitivity Assessment | IEEE Journals & Magazine | IEEE Xplore