@article{article, title = {{Implementation relations and test generation for systems with distributed interfaces}}, publisher = {{Springer Science and Business Media LLC}}, url = {{}}, year = {{2012}}, month = {{1}}, author = {{Hierons RM and Merayo MG and N煤帽ez M}}, doi = {{10.1007/s00446-011-0149-1}}, volume = {{25}}, journal = {{Distributed Computing}}, issue = {{1}}, pages = {{35-62}}, note = {{Accessed on 2025/04/16}}}