Implementation relations and testing for cyclic systems: Adding probabilities | Publicación