An efficient framework for the conversion of fault trees to diagnostic Bayesian network models | IEEE Conference Publication | IEEE Xplore