Functional Modeling and Reasoning about Hazards | IEEE Conference Publication | IEEE Xplore