A Hazard Analysis Approach based on STPA and Finite State Machine for Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore