Model-based Hazard and Impact Analysis. - Sonila Dobi; Mario Gleirscher; Maria Spichkova; Peter Struss (CoRR, 2015)