Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving.