Exploiting Fault Model Correlations to Accelerate SEU Sensitivity Assessment