Hazard Analysis of Complex Spacecraft Using Systems-Theoretic Process Analysis | Synapse