@inproceedings{acn10,
author = "C. Andr{\'e}s and M.E. Cambronero and {M.} {N}{\'u}{\~n}ez",
title = "Formal Passive Testing of Service-Oriented Systems",
booktitle ="7th Int. Conference on Services Computing , SCC'10",
publisher = "IEEE Computer Society Press",
pages= "610--613",
year= {2010}}