Chun Liu Yue Wang Wei Zhang 0004 Zhi Jin Elicitation of Dependability Requirements: A HAZOP-based Approach. 407-408 2010 RE http://dx.doi.org/10.1109/RE.2010.61 conf/re/2010 db/conf/re/re2010.html#LiuWZJ10