@inproceedings{acn10b,
author = "C. Andr{\'e}s and M.E. Cambronero and {M.} {N}{\'u}{\~n}ez",
title = "Passive Testing of Timed Distributed Systems",
booktitle ="7th Int. Workshop on Web Services and Formal Methods , WS-FM'10, LNCS 6551",
publisher="Springer",
pages= "56--70",
year= "2011"}