https://9dok.net/document/yngmxpk0-tutorial-on-advanced-concepts-in-fault-tree-analysis.html