TY - JOUR T1 - Implementation relations and testing for cyclic systems with refusals and discrete time JO - Journal of Systems and Software UR - https://eprints.whiterose.ac.uk/163152/ PY - 2020/12/01 AU - Lefticaru R AU - Hierons R AU - Nunez M ED - DO - DOI: 10.1016/j.jss.2020.110738 PB - Elsevier VL - 170 Y2 - 2025/07/03 ER -