SWE-023 - Software Safety-Critical Requirements
SWE-134 - Safety-Critical Software Design Requirements
SWE-135 - Static Analysis
HR-33 - Inadvertent Operator Action