Automatic Synthesis of Static Fault Trees from System Models | IEEE Conference Publication | IEEE Xplore