Testing Probabilistic Distributed Systems | Publicación