https://123dok.net/document/nzw2l4lz-importance-splitting-for-statistical-model-checking-rare-properties.html