https://123dok.net/document/yd7m437g-improving-efficiency-dynamic-fault-tree-analysis-considering-static.html