@article{amn12,
author = "C. Andr{\'e}s and M.G. Merayo and {A.} {N}{\'u}{\~n}ez",
title = "Formal Passive Testing of Timed Systems: Theory and Tools",
journal = "Software Testing, Verification and Reliability",
pages = "365--405",
volume = "22",
number = "",
year = "2012"}