Hazard analysis for AADL model | IEEE Conference Publication | IEEE Xplore