Systems-Theoretic Process Analysis of space launch vehicles · Study