@INPROCEEDINGS{amn09e,
author="C. Andr{\'e}s and M.G. Merayo and {M.} {N}{\'u}{\~n}ez",
title = "Formal passive testing of timed systems: A case study with the {S}tream {C}ontrol {T}ransmission {P}rotocol",
BOOKtitle = "7th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM'09",
YEAR = "2009",
pages= "73--82",
publisher = "IEEE Computer Society Press"}