"Validation of Stochastic Systems - A Guide to Current Research" - читать интересную книгу автора (Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen,...)