@inproceedings{amn09,
author="C. Andr{\'e}s and M.G. Merayo and {M.} {N}{\'u}{\~n}ez",
title="Passive testing of Stochastic Timed Systems",
booktitle = "2nd Int. Conf. on Software Testing, Verification, and Validation, ICST'09",
year="2009",
pages="71--80",
publisher="IEEE Computer Society Press"}