Formal Specification of Symbolic-Probabilistic Systems | Publicación