Safety becomes a critical aspect for software-intensive systems in different applications areas. Many hazard analysis techniques are proposed and used to investigate system design models to elicit hazards and design flaws. STPA (System- Theoretic Process Analysis) is a modern hazard analysis technique, which is based on ...