The Method of D-Case Development Using HAZOP Analysis on UML Models. - Feng Ding; Shuichiro Yamamoto; Nda Abrahim (JCKBSE, 2014)