Vernieuwingsimpuls: Stochastic model checking