Model-based hazard analysis method on automotive programmable electronic system | IEEE Conference Publication | IEEE Xplore