SWE-051 - Software Requirements AnalysisSWE-052 - Bidirectional TraceabilitySWE-058 - Detailed DesignSWE-205 - Determination of Safety-Critical Software