Efficient Analysis of Fault Trees with Voting Gates | IEEE Conference Publication | IEEE Xplore