@inproceedings{amn09d,
author="C. Andr{\'e}s and M.G. Merayo and {M.} {N}{\'u}{\~n}ez",
title="Supporting the extraction of timed properties for passive testing by using probabilistic user models",
booktitle ="9th Int. Conf. on Quality Software, QSIC'09",
publisher = {IEEE Computer Society Press},
pages= "145--154",
year= "2009"}