Statistical probabilistic model checking with a focus on