@inproceedings{amn09b,
author="C. Andr{\'e}s and M.G. Merayo and {M.} {N}{\'u}{\~n}ez",
title="Formal correctness of a passive testing approach for timed systems",
booktitle ="5th Workshop on Advances in Model Based Testing, A-MOST'09",
publisher = "IEEE Computer Society Press",
pages= "67--76",
year="2009"}