https://1library.net/document/yevv1prz-analysis-coherent-fault-trees-using-ternary-decision-diagrams.html