@article(r1,
 author       = "I. Bourdonov and A. Kossatchev and V. Kuliamin",
 year         = "2006",
 title        = "Formal conformance testing of systems with refused inputs and forbidden actions",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "164",
 number       = "4",
 pages        = "83--96",
 doi          = "10.1016/j.entcs.2006.09.008",
)
@article(r2,
 author       = "T. Chow",
 year         = "1978",
 title        = "Testing software design modeled by finite-state machines",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "4",
 number       = "3",
 pages        = "178--187",
 doi          = "10.1109/TSE.1978.231496",
)
@inproceedings(r3,
 author       = "F. C. Hennie",
 year         = "1964",
 title        = "Fault-detecting experiments for sequential circuits",
 booktitle    = "Proceedings of the 5th Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey",
 pages        = "95--110",
 doi          = "10.1109/SWCT.1964.8",
)
@article(r4,
 author       = "R. Hierons",
 year         = "2012",
 title        = "The complexity of asynchronous model based testing",
 journal      = "Theor. Comput. Sci.",
 volume       = "451",
 pages        = "70--82",
 doi          = "10.1016/j.tcs.2012.05.038",
)
@article(r5,
 author       = "R. Hierons",
 year         = "2013",
 title        = "Implementation relations for testing through asynchronous channels",
 journal      = "Comput. J.",
 volume       = "56",
 number       = "11",
 pages        = "1305--1319",
 doi          = "10.1093/comjnl/bxs107",
)
@inproceedings(r6,
 author       = "J. Huo and A. Petrenko",
 year         = "2004",
 title        = "On testing partially specified iots through lossless queues",
 booktitle    = "Proc. Testing of Communicating Systems",
 pages        = "76--94",
 doi          = "10.1007/978-3-540-24704-3\_6",
)
@article(r7,
 author       = "J. Huo and A. Petrenko",
 year         = "2009",
 title        = "Transition covering tests for systems with queues",
 journal      = "Software Testing Verification and Reliability",
 volume       = "19",
 pages        = "55--83",
 doi          = "10.1002/stvr.396",
)
@article(r8,
 author       = "C. Jard and T. Jeron",
 year         = "2005",
 title        = "TGV: Theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems",
 journal      = "Software Tools for Technology Transfer",
 volume       = "7",
 number       = "4",
 pages        = "297--315",
 doi          = "10.1007/s10009-004-0153-x",
)
@article(r9,
 author       = "N. Lynch and M. R. Tuttle",
 year         = "1989",
 title        = "An introduction to input/output automata",
 journal      = "CWI Quarterly",
 volume       = "2",
 number       = "3",
 pages        = "219--246",
)
@inproceedings(r10,
 author       = "A. Petrenko and N. Yevtushenko",
 year         = "2011",
 title        = "Adaptive testing of deterministic implementations specified by nondeterministic fsms",
 booktitle    = "International Conference on Testing Software and Systems",
 pages        = "162--178",
 doi          = "10.1007/978-3-642-24580-0\_12",
)
@inproceedings(r11,
 author       = "A. Petrenko and N. Yevtushenko and J. Huo",
 year         = "2003",
 title        = "Testing transition systems with input and output testers",
 booktitle    = "TestCom 2003",
 series       = "LNCS",
 volume       = "2644",
 pages        = "129--145",
 doi          = "10.1007/3-540-44830-6\_11",
)
@article(r12,
 author       = "A. Simao and A. Petrenko",
 year         = "2011",
 title        = "Generating asynchronous test cases from test purposes",
 journal      = "Information \& Software Technology",
 volume       = "53",
 number       = "11",
 pages        = "1252--1262",
 doi          = "10.1016/j.infsof.2011.06.006",
)
@inproceedings(r13,
 author       = "Q. Tan and A. Petrenko",
 year         = "1998",
 title        = "Test generation for specifications modeled by input/output automata",
 booktitle    = "Proceedings of the 11th International Workshop on Testing of Communicating Systems (IWTCS'98)",
 pages        = "83--99",
 doi          = "10.1007/978-0-387-35381-4\_6",
)
@article(r14,
 author       = "J. Tretmans",
 year         = "1996",
 title        = "Test generation with inputs, outputs and repetitive quiescence",
 journal      = "Software Concepts and Tools",
 volume       = "17",
 number       = "3",
 pages        = "103--120",
)
@inproceedings(r15,
 author       = "J. Tretmans",
 year         = "2008",
 title        = "Model based testing with labelled transition systems",
 booktitle    = "Formal Methods and Testing",
 pages        = "1--38",
 doi          = "10.1007/978-3-540-78917-8\_1",
)
@inproceedings(r16,
 author       = "J. Tretmans and E. Brinksma",
 year         = "2003",
 title        = "TorX: automated model based testing",
 booktitle    = "First European Conference on Model-Driven Software Engineering",
 pages        = "31--43",
)
@inproceedings(r17,
 author       = "J. Tretmans and L. Verhaard",
 year         = "1992",
 title        = "A queue model relating synchronous and asynchronous communication",
 booktitle    = "Proc. International Symposium Protocol Specification, Testing and Verification",
 pages        = "131--145",
 doi          = "10.1016/B978-0-444-89874-6.50015-5",
)
@article(r18,
 author       = "M. P. Vasilevskii",
 year         = "1973",
 title        = "Failure diagnosis of automata",
 journal      = "Cybernetics",
 volume       = "4",
 pages        = "653--665",
 doi          = "10.1007/BF01068590",
)
@article(r19,
 author       = "N. Yevtushenko and A. Petrenko",
 year         = "1990",
 title        = "Synthesis of test experiments in some classes of automata",
 journal      = "Automatic Control and Computer Sciences",
 volume       = "24",
 number       = "4",
 pages        = "50--55",
)