Validation of Stochastic Systems A Guide to Current Research - Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter; Siegle, Markus (Springer Berlin Heidelberg, 2004)