Implementation relations and testing for cyclic systems with refusals and discrete time | Publicación