https://123dok.net/document/lq5w6drq-algebraic-dynamic-fault-tree-analysis-for-avionic-systems.html