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