A structured and model-based hazard analysis and risk assessment method for automotive systems | IEEE Conference Publication | IEEE Xplore