Wei Dong Ji Wang Changzhi Zhao Xian Zhang Jie Tian Automating Software FMEA via Formal Analysis of Dependence Relations. 490-491 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.71 conf/compsac/2008 db/conf/compsac/compsac2008.html#DongWZZT08