Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano. Automatic Synthesis of Static Fault Trees from System Models. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea. pages 127-136, IEEE, 2011. [doi]