SWE-134 - Safety-Critical Software Design RequirementsSWE-205 - Determination of Safety-Critical Software