https://5dok.net/document/9ynm10pz-rare-event-simulation-for-dynamic-fault-trees.html