@inproceedings{alr08,
author = "C. Andr{\'e}s and L. Llana and I. Rodr{\'\i}guez",
title = "Formally comparing user and implementer model-based testing methods",
booktitle ="4th Workshop on Advances in Model Based Testing, A-MOST'08",
publisher = "IEEE Computer Society Press",
pages= "1--10",
year = "2008"}