Jianwen Xiang, Kazuo Yanoo: Automatic Static Fault Tree Analysis from System Models. PRDC 2010: 241-242