SWE-023 - Software Safety-Critical RequirementsSWE-134 - Safety-Critical Software Design RequirementsSWE-190 - Verify Code CoverageSWE-205 - Determination of Safety-Critical Software