SWE-134 - Safety-Critical Software Design RequirementsSWE-141 - Software Independent Verification and ValidationSWE-178 - IV&V Artifacts