Functional Hazard Analysis for Engineering Safe Software Requirements | IEEE Conference Publication | IEEE Xplore