@inproceedings(AsaadiKMN11,
 author       = "H. R. Asaadi and R. Khosravi and M. R. Mousavi and N. Noroozi",
 year         = "2011",
 title        = "Towards Model-Based Testing of Electronic Funds Transfer Systems",
 booktitle    = "FSEN",
 series       = "LNCS",
 volume       = "7141",
 pages        = "253--267",
 url          = "http://dx.doi.org/10.1007/978-3-642-29320-7_17",
)
@incollection(Berezin98,
 author       = "S. Berezin and S. Campos and E.M. Clarke",
 year         = "1998",
 title        = "Compositional Reasoning in Model Checking",
 booktitle    = "Compositionality: The Significant Difference",
 series       = "LNCS",
 volume       = "1536",
 publisher    = "Springer",
 pages        = "81--102",
 url          = "http://dx.doi.org/10.1007/3-540-49213-5_4",
)
@inproceedings(BijlRT03,
 author       = "M. van der Bijl and A. Rensink and J. Tretmans",
 year         = "2003",
 title        = "Compositional Testing with ioco",
 booktitle    = "FATES",
 series       = "LNCS",
 volume       = "2931",
 publisher    = "Springer",
 pages        = "86--100",
 url          = "http://dx.doi.org/10.1007/978-3-540-24617-6_7",
)
@article(VriesT00,
 author       = "R.G. {de Vries} and J. Tretmans",
 year         = "2000",
 title        = "On-the-fly Conformance Testing using SPIN",
 journal      = "STTT",
 volume       = "2",
 number       = "4",
 pages        = "382--393",
 url          = "http://dx.doi.org/10.1007/s100090050044",
)
@inproceedings(FrantzenT06,
 author       = "L. Frantzen and J. Tretmans",
 year         = "2006",
 title        = "Model-Based Testing of Environmental Conformance of Components",
 booktitle    = "FMCO",
 series       = "LNCS",
 volume       = "4709",
 publisher    = "Springer",
 pages        = "1--25",
 url          = "http://dx.doi.org/10.1007/978-3-540-74792-5_1",
)
@article(Giannakopoulou05,
 author       = "D. Giannakopoulou and C. S. Pasareanu and H. Barringer",
 year         = "2005",
 title        = "Component Verification with Automatically Generated Assumptions",
 journal      = "Autom. Softw. Eng.",
 volume       = "12",
 number       = "3",
 pages        = "297--320",
 url          = "http://dx.doi.org/10.1007/s10515-005-2641-y",
)
@incollection(Kupferman98,
 author       = "O. Kupferman and M. Vardi",
 year         = "1998",
 title        = "Modular model checking",
 booktitle    = "Compositionality: The Significant Difference",
 series       = "LNCS",
 volume       = "1536",
 publisher    = "Springer",
 pages        = "81--102",
 url          = "http://dx.doi.org/10.1007/3-540-49213-5_4",
)
@inproceedings(Neda11,
 author       = "N. Noroozi and R. Khosravi and M.R. Mousavi and T. A. C. Willemse",
 year         = "2011",
 title        = "Synchronizing Asynchronous Conformance Testing",
 booktitle    = "SEFM",
 series       = "LNCS",
 volume       = "7041",
 publisher    = "Springer",
 pages        = "334--349",
 url          = "http://dx.doi.org/10.1007/978-3-642-24690-6_23",
)
@techreport(NMW:12,
 author       = "N. Noroozi and M.R. Mousavi and T.A.C. Willemse",
 year         = "2013",
 title        = "Decomposability in Formal Conformance Testing",
 type         = "Technical Report",
 number       = "CSR-13-02",
 institution  = "TU/Eindhoven",
)
@incollection(Pasareanu99,
 author       = "C. S. Pasareanu and M. B. Dwyer and M. Huth",
 year         = "1999",
 title        = "Assume-Guarantee Model Checking of Software: A Comparative Case Study",
 booktitle    = "Theoretical and Practical Aspects of SPIN Model Checking",
 series       = "LNCS",
 volume       = "1680",
 publisher    = "Springer",
 pages        = "168--183",
 url          = "http://dx.doi.org/10.1007/3-540-48234-2_14",
)
@article(SimaoP11,
 author       = "A. Sim{\~a}o and A. Petrenko",
 year         = "2011",
 title        = "Generating asynchronous test cases from test purposes",
 journal      = "Information {\&} Software Technology",
 volume       = "53",
 number       = "11",
 pages        = "1252--1262",
 url          = "http://dx.doi.org/10.1016/j.infsof.2011.06.006",
)
@article(Tretmans96,
 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(Tretmans08,
 author       = "J. Tretmans",
 year         = "2008",
 title        = "Model Based Testing with Labelled Transition Systems",
 booktitle    = "Formal Methods and Testing",
 series       = "LNCS",
 volume       = "4949",
 publisher    = "Springer",
 pages        = "1--38",
 url          = "http://dx.doi.org/10.1007/978-3-540-78917-8_1",
)
@book(unknownComponent,
 author       = "T. Villa and N. Yevtushenko and R.K. Brayton and A. Mishchenko and A. Petrenko and A. Sangiovanni-Vincentelli",
 year         = "2012",
 title        = "The Unknown Component Problem, Theory and Applications",
 publisher    = "Springer",
 doi          = "10.1007/978-0-387-68759-9",
)
@inproceedings(WeiglhoferW09,
 author       = "M. Weiglhofer and F. Wotawa",
 year         = "2009",
 title        = "Asynchronous Input-Output Conformance Testing",
 booktitle    = "COMPSAC",
 publisher    = "IEEE Computer Society",
 pages        = "154--159",
 url          = "http://dx.doi.org/10.1109/COMPSAC.2009.194",
)
@inproceedings(Willemse,
 author       = "T. A. C. Willemse",
 year         = "2006",
 title        = "Heuristics for ioco -Based Test-Based Modelling",
 booktitle    = "FMICS/PDMC",
 series       = "LNCS",
 volume       = "4346",
 publisher    = "Springer",
 pages        = "132--147",
 url          = "http://dx.doi.org/10.1007/978-3-540-70952-7_9",
)