Automating Software FMEA via Formal Analysis of Dependence Relations. - Dong, Wei; Wang, Ji; Zhao, Changzhi; Zhang, Xian; Tian, Jie (2008)