A Statistical Approach to Test Stochastic and Probabilistic Systems | Publicación