Hazard analysis of an Automated Lane Keeping System using Systems-Theoretic Process Analysis | Synapse