@inproceedings{amn08b,
author="C. Andr{\'e}s and M.G. Merayo and {M.} {N}{\'u}{\~n}ez",
title="Passive testing of timed systems",
booktitle = "6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'08, LNCS 5311",
year="2008",
pages= "418--427",
publisher = {Springer}}