Validation of Stochastic Systems by Christel Baier