SWE-023 - Software Safety-Critical RequirementsSWE-134 - Safety-Critical Software Design RequirementsSWE-135 - Static AnalysisHR-33 - Inadvertent Operator Action