Choosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks · Study