Testing of Symbolic-Probabilistic Systems | Publicación