Validation Of Stochastic Systems: A Guide To Current Research - Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen et Markus Siegle