Implementation relations and probabilistic schedulers in the distributed test architecture | Publicación