@inproceedings{b3141fa2ca3d424093e84975ddd5ffca,
title = "Testing real-time multi input-output systems",
author = "{Brand{\'a}n Briones}, L. and E. Brinksma",
year = "2005",
doi = "10.1007/11576280_19",
language = "English",
isbn = "3-540-29797-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "264--279",
editor = "K.K. Lau and R. Banach",
booktitle = "Formal Methods and Software Engineering (Proceedings 7th International Conference, ICFEM 2005, Manchester, UK, November 1-4, 2005)",
address = "Germany",
}