https://123dok.org/document/4zpk5j4y-enhanced-power-evaluation-efficient-stochastic-model-based-analysis.html