Elicitation of Dependability Requirements: A HAZOP-based Approach | IEEE Conference Publication | IEEE Xplore