@inproceedings(Aarts10,
 author       = "F. Aarts and F. W. Vaandrager",
 year         = "2010",
 title        = "Learning {I/O} Automata",
 booktitle    = "Proc. of the 21th Int. Conf. on Concurrency Theory (CONCUR)",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "71--85",
 doi          = "10.1007/978-3-642-15375-4\_6",
)
@book(katoen2008,
 author       = "C. Baier and J.-P. Katoen",
 year         = "2008",
 title        = "Principles of Model Checking",
 publisher    = "The MIT Press",
)
@inproceedings(BS08,
 author       = "H. C. Bohnenkamp and M. I. A. Stoelinga",
 year         = "2008",
 title        = "Quantitative testing",
 booktitle    = "Proc. of the 8th ACM {\&} IEEE Int. Conf. on Embedded software (EMSOFT)",
 publisher    = "ACM",
 pages        = "227--236",
 doi          = "10.1145/1450058.1450089",
)
@article(DeNicola1995,
 author       = "R. De Nicola and R. Segala",
 year         = "1995",
 title        = "A process algebraic view of input/output automata",
 journal      = "Theoretical Computer Science",
 volume       = "138",
 pages        = "391--423",
 doi          = "10.1016/0304-3975(95)92307-J",
)
@inproceedings(LT87,
 author       = "N. A. Lynch and M. R. Tuttle",
 year         = "1987",
 title        = "Hierarchical Correctness Proofs for Distributed Algorithms",
 booktitle    = "Proc. of the 6th Annual ACM Symp. on Principles of Distributed Computing (PODC)",
 pages        = "137--151",
 doi          = "10.1145/41840.41852",
)
@inproceedings(Segala93,
 author       = "R. Segala",
 year         = "1993",
 title        = "Quiescence, Fairness, Testing, and the Notion of Implementation",
 booktitle    = "Proc. of 4th Int. Conf. on Concurrency Theory (CONCUR)",
 series       = "LNCS",
 volume       = "715",
 publisher    = "Springer",
 pages        = "324--338",
 doi          = "10.1007/3-540-57208-2\_23",
)
@article(Segala97,
 author       = "R. Segala",
 year         = "1997",
 title        = "Quiescence, Fairness, Testing, and the Notion of Implementation",
 journal      = "Information and Computation",
 volume       = "138",
 number       = "2",
 pages        = "194 -- 210",
 doi          = "10.1006/inco.1997.2652",
)
@techreport(techrep,
 author       = "W. G. J. Stokkink and M. Timmer and M. I. A. Stoelinga",
 year         = "2012",
 title        = "Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)",
 type         = "Technical Report",
 number       = "TR-CTIT-12-05",
 institution  = "CTIT, University of Twente",
)
@book(sudkamp2006,
 author       = "T. A. Sudkamp",
 year         = "2006",
 title        = "Languages and machines",
 publisher    = "Pearson Addison Wesley",
)
@incollection(Timmer2011,
 author       = "M. {Timmer} and H. {Brinksma} and M. I. A. {Stoelinga}",
 year         = "2011",
 title        = "Model-Based Testing",
 booktitle    = "Software and Systems Safety: Specification and Verification",
 series       = "NATO Science for Peace and Security Series D: Information and Communication Security",
 volume       = "30",
 publisher    = "IOS Press",
 address      = "Amsterdam",
 pages        = "1--32",
 doi          = "10.3233/978-1-60750-711-6-1",
)
@inproceedings(Tretmans96,
 author       = "G. J. Tretmans",
 year         = "1996",
 title        = "Test Generation with Inputs, Outputs, and Quiescence",
 booktitle    = "Proceedings of the 2nd Int. Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS)",
 series       = "LNCS",
 volume       = "1055",
 publisher    = "Springer",
 pages        = "127--146",
 doi          = "10.1007/3-540-61042-1\_42",
)
@article(Tretmans96b,
 author       = "G. 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(Tretmans2008,
 author       = "G. 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",
 doi          = "10.1007/978-3-540-78917-8\_1",
)
@inproceedings(Vaandrager91,
 author       = "F. W. Vaandrager",
 year         = "1991",
 title        = "On the Relationship Between Process Algebra and Input/Output Automata (Extended Abstract)",
 booktitle    = "Proc. of 6th Annual Symposium on Logic in Computer Science (LICS)",
 publisher    = "IEEE",
 pages        = "387--398",
 doi          = "10.1109/LICS.1991.151662",
)
@inproceedings(Bijl2004,
 author       = "H. M. {van der Bijl} and A. {Rensink} and G. J. {Tretmans}",
 year         = "2004",
 title        = "Compositional Testing with ioco",
 booktitle    = "Formal Approaches to Software Testing (FATES)",
 series       = "LNCS",
 volume       = "2931",
 publisher    = "Springer Verlag",
 address      = "Berlin",
 pages        = "86--100",
 doi          = "10.1007/978-3-540-24617-6\_7",
)