Simulation-Based Support for Semi-Automated Automotive Safety Analysis | IEEE Conference Publication | IEEE Xplore