Using schedulers to test probabilistic distributed systems | Publicación