7.03 - Acquisition Guidance
7.21 - Multi-condition Software Requirements
7.23 - Software Fault Prevention and Tolerance
8.01 - Off Nominal Testing
8.04 - Additional Requirements Considerations for Use with Safety-Critical Software
8.18 - SA Suggested Metrics
PAT-035 - Checklist for Safety-Critical or Mission-Critical Software