8XIANG J, FUTATSUGI K. Fault tree and formal methods in system safety analysis [ C ]//Proc. of the fourth International Conference on Computer and Information Technology, 2004:1128-1115.
9XIANG J, OGATA K, FUTATSUGI K. Formal fault tree analysis of state transition systems [ C ]//Proc. of Fifth International Conference on Quality Software,2005: 124-131.