Sensitivity- and Uncertainty-Based Criticality Safety Validation Techniques | Synapse