Validation of stochastic systems a guide to current research (Springer, 2004)