STPA-Based Continuous Safety Verification of Autonomous Driving Systems During Simulation | IEEE Conference Publication | IEEE Xplore