Leveraging Simulation and Automation for System-Theoretic Process Analysis (STPA) - View it on GitHub