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