Validation of Stochastic Systems : A Guide to Current Research - Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle ((Lecture Notes in Computer Science))