Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano: Automatic Synthesis of Static Fault Trees from System Models. SSIRI 2011: 127-136