Choosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks | IEEE Journals & Magazine | IEEE Xplore