@inproceedings(DBLP:conf/tacas/Belinfante10,
 author       = "A.E.F. Belinfante",
 year         = "2010",
 title        = "JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution",
 series       = "Lecture Notes in Computer Science",
 volume       = "6015",
 publisher    = "Springer",
 pages        = "266--270",
 doi          = "10.1007/978-3-642-12002-2\_21",
)
@article(DBLP:journals/tcs/BensalemPQT08,
 author       = "S.~Bensalem and D.~Peled and H.~Qu and S.S. Tripakis",
 year         = "2008",
 title        = "Automatic generation of path conditions for concurrent timed systems",
 journal      = "Theor. Comput. Sci.",
 volume       = "404",
 number       = "3",
 pages        = "275--292",
 doi          = "10.1016/j.tcs.2008.03.012",
)
@inproceedings(BS08,
 author       = "H.~C. Bohnenkamp and M.I.A. Stoelinga",
 year         = "2008",
 title        = "Quantitative testing",
 booktitle    = "Proceedings of the 8th ACM {\&} IEEE International conference on Embedded software, (EMSOFT'08)",
 publisher    = "ACM",
 pages        = "227--236",
 doi          = "10.1145/1450058.1450089",
)
@article(CSV07,
 author       = "L.~Cheung and M.I.A. Stoelinga and F.W. Vaandrager",
 year         = "2007",
 title        = "A testing scenario for Probabilistic Automata",
 journal      = "Journal of the ACM",
 volume       = "54",
 number       = "6",
 doi          = "10.1145/1314690.1314693",
)
@inproceedings(STG,
 author       = "D.~Clarke and T.~J\'{e}ron and V.~Rusu and E.~Zinovieva",
 year         = "2002",
 title        = "STG: A Symbolic Test Generation Tool",
 series       = "Lecture Notes in Computer Science",
 volume       = "2280",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "470--475",
 doi          = "10.1007/3-540-45669-4",
)
@book(cohn1980measure,
 author       = "D.~L. Cohn",
 year         = "1980",
 title        = "Measure Theory",
 publisher    = "Birkh{\"a}user",
 doi          = "10.1007/978-1-4899-0399-0",
)
@inproceedings(DBLP:conf/qsic/DulzZ03,
 author       = "W.~Dulz and FF. Zhen",
 year         = "2003",
 title        = "MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3",
 booktitle    = "Proceedings of the 3rd International Conference on Quality Software",
 publisher    = "IEEE Computer Society",
 doi          = "10.1109/QSIC.2003.1319119",
)
@inproceedings(FTW06,
 author       = "L.~Frantzen and J.~Tretmans and T.~A.~C. Willemse",
 year         = "2006",
 title        = "A Symbolic Framework for Model-Based Testing",
 series       = "Lecture Notes in Computer Science",
 volume       = "4262",
 publisher    = "Springer-Verlag",
 pages        = "40--54",
 doi          = "10.1007/11940197\_3",
)
@inproceedings(GSST90,
 author       = "R.~J.~van Glabbeek and S.~A. Smolka and B.~Steffen and C.M.N. Tofts",
 year         = "1990",
 title        = "Reactive, generative, and stratified models of probabilistic processes",
 series       = "5th Annual Symposium on Logic in Computer Science",
 publisher    = "IEEE Computer Society Press",
 pages        = "130--141",
)
@inproceedings(DBLP:conf/fortest/HesselLMNPS08,
 author       = "A.~Hessel and K.~G. Larsen and M.~Mikucionis and B.~Nielsen and P.~Pettersson and A.~Skou",
 year         = "2008",
 title        = "Testing Real-Time Systems Using UPPAAL",
 series       = "Lecture Notes in Computer Science",
 volume       = "4949",
 publisher    = "Springer",
 pages        = "77--117",
 doi          = "10.1007/978-3-540-78917-8\_3",
)
@incollection(hierons:hal-01055146,
 author       = "R.~M. Hierons and M~N{\'{u}}{\~{n}}ez",
 year         = "2010",
 title        = "{Testing Probabilistic Distributed Systems}",
 series       = "Lecture Notes in Computer Science",
 volume       = "6117",
 publisher    = "{Springer}",
 pages        = "63--77",
 doi          = "10.1007/978-3-642-13464-7\_6",
)
@article(DBLP:journals/fac/HieronsN12,
 author       = "R.~M. Hierons and M.~N{\'{u}}{\~{n}}ez",
 year         = "2012",
 title        = "Using schedulers to test probabilistic distributed systems",
 journal      = "Formal Asp. Comput.",
 volume       = "24",
 number       = "4-6",
 pages        = "679--699",
 doi          = "10.1007/s00165-012-0244-5",
)
@article(Hwang20101108,
 author       = "Iksoon Hwang and Ana Cavalli",
 year         = "2010",
 title        = "Testing a probabilistic FSM using interval estimation",
 journal      = "Computer Networks",
 volume       = "54",
 number       = "7",
 pages        = "1108 -- 1125",
 doi          = "10.1016/j.comnet.2009.10.014",
)
@article(DBLP:journals/entcs/Jeron09,
 author       = "T.~J{\'{e}}ron",
 year         = "2009",
 title        = "Symbolic Model-based Test Selection",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "240",
 pages        = "167--184",
 doi          = "10.1016/j.entcs.2009.05.051",
)
@article(DBLP:journals/fmsd/KrichenT09,
 author       = "M.~Krichen and S.~Tripakis",
 year         = "2009",
 title        = "Conformance testing for real-time systems",
 journal      = "Formal Methods in System Design",
 volume       = "34",
 number       = "3",
 pages        = "238--304",
 doi          = "10.1007/s10703-009-0065-1",
)
@inproceedings(LMNS05,
 author       = "K.~G. Larsen and M.~Mikucionis and B.~Nielsen and A.~Skou",
 year         = "2005",
 title        = "Testing real-time embedded software using UPPAAL-TRON: an industrial case study",
 publisher    = "ACM Press",
 pages        = "299--306",
)
@inproceedings(DBLP:conf/popl/LarsenS89,
 author       = "K.~G. Larsen and A.~Skou",
 year         = "1989",
 title        = "Bisimulation Through Probabilistic Testing",
 publisher    = "{ACM} Press",
 pages        = "344--352",
)
@inproceedings(DBLP:conf/fmics/MostowskiPSTS09,
 author       = "W.~Mostowski and E.~Poll and J.~Schmaltz and J.~Tretmans and R.~W. Schreur",
 year         = "2009",
 title        = "Model-Based Testing of Electronic Passports",
 series       = "Lecture Notes in Computer Science",
 volume       = "5825",
 publisher    = "Springer",
 pages        = "207--209",
)
@inproceedings(Osch06,
 author       = "M.~van Osch",
 year         = "2006",
 title        = "Hybrid Input-Output Conformance and Test Generation",
 booktitle    = "Proceedings of FATES/RV 2006",
 series       = "Lecture Notes in Computer Science",
 volume       = "4262",
 pages        = "70--84",
)
@phdthesis(Segala:1996:MVR:239648,
 author       = "R.~Segala",
 year         = "1995",
 title        = "Modeling and Verification of Randomized Distributed Real-time Systems",
 address      = "Cambridge, MA, USA",
)
@phdthesis(MyThesis,
 author       = "M.I.A. Stoelinga",
 year         = "2002",
 title        = "Alea jacta est: Verification of Probabilistic, Real-time and Parametric Systems",
 school       = "Radboud University of Nijmegen",
)
@inproceedings(DBLP:conf/icalp/StoelingaV03,
 author       = "M.I.A. Stoelinga and F.~W. Vaandrager",
 year         = "2003",
 title        = "A Testing Scenario for Probabilistic Automata",
 series       = "Lecture Notes in Computer Science",
 volume       = "2719",
 publisher    = "Springer",
 pages        = "464--477",
 doi          = "10.1007/3-540-45061-0\_38",
)
@inproceedings(STS13,
 author       = "W.~G.~J. Stokkink and M.~Timmer and M.I.A. Stoelinga",
 year         = "2013",
 title        = "Divergent Quiescent Transistion Sytems",
 booktitle    = "Proceedings 7th conference on Tests and Proofs (TAP'13)",
 series       = "Lecture Notes in Computer Science",
 pages        = "214--231",
 doi          = "10.1007/978-3-642-38916-0\_13",
)
@incollection(TimmerStoelingaBrinksma,
 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",
)
@article(DBLP:journals/cn/Tretmans96,
 author       = "J.~Tretmans",
 year         = "1996",
 title        = "Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation",
 journal      = "Computer Networks and {ISDN} Systems",
 volume       = "29",
 number       = "1",
 pages        = "49--79",
 doi          = "10.1016/S0169-7552(96)00017-7",
)
@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(conf/fortest/Tretmans08,
 author       = "J.~Tretmans",
 year         = "2008",
 title        = "Model Based Testing with Labelled Transition Systems",
 booktitle    = "Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised Selected Papers",
 series       = "Lecture Notes in Computer Science",
 volume       = "4949",
 publisher    = "Springer",
 pages        = "1--38",
 doi          = "10.1007/978-3-540-78917-8\_1",
)
@article(DBLP:journals/tosem/WhittakerP93,
 author       = "J.~A. Whittaker and J.~H. Poore",
 year         = "1993",
 title        = "Markov Analysis of Software Specifications",
 journal      = "ACM Trans. Softw. Eng. Methodol.",
 volume       = "2",
 number       = "1",
 pages        = "93--106",
 doi          = "10.1145/151299.151326",
)
@article(DBLP:journals/infsof/WhittakerRT00,
 author       = "J.~A. Whittaker and K.~Rekab and M.~G. Thomason",
 year         = "2000",
 title        = "A Markov chain model for predicting the reliability of multi-build software",
 journal      = "Information {\&} Software Technology",
 volume       = "42",
 number       = "12",
 pages        = "889--894",
 doi          = "10.1016/S0950-5849(00)00122-1",
)