Model-based hazard analysis of undesirable environmental and components interaction | IEEE Conference Publication | IEEE Xplore