7.24 - Human Rated Software Requirements
8.54 - Software Requirements Analysis
8.55 - Software Design Analysis
8.58 - Software Safety and Hazard Analysis