@inproceedings{inproceedings, title = {{Extending Stream X-Machines to Specify and Test Systems with Timeouts}}, publisher = {{IEEE}}, url = {{}}, year = {{2008}}, month = {{1}}, author = {{Merayo MG and Hierons RM and N煤帽ez M}}, doi = {{10.1109/sefm.2008.15}}, isbn = {{9780769534374}}, journal = {{2008 Sixth IEEE International Conference on Software Engineering and Formal Methods}}, note = {{Accessed on 2025/05/27}}}