SWE-050 - Software RequirementsSWE-051 - Software Requirements AnalysisSWE-052 - Bidirectional TraceabilitySWE-134 - Safety-Critical Software Design RequirementsSWE-184 - Software-related Constraints and Assumptions