@inproceedings(blackburn2002,
 author       = "M. Blackburn and R. Busser and A. Nauman and R. Knickerbocker and R. Kasuda",
 year         = "2002",
 title        = "Mars Polar Lander Fault Identification Using Model-Based Testing",
 booktitle    = "8th IEEE Int'l. Conf. on Engineering of Complex Computer Systems (ICECCS02)",
 pages        = "163--169",
 doi          = "10.1109/ICECCS.2002.1181509",
)
@inproceedings(bringmann2008,
 author       = "E. Bringmann and A. Kr{\"a}mer",
 year         = "2008",
 title        = "Model-Based Testing of Automotive Systems",
 booktitle    = "IEEE Int'l. Conf. on Software Testing, Verification and Validation (ICST2008)",
 pages        = "485--493",
 doi          = "10.1109/ICST.2008.45",
)
@article(grieskamp2011,
 author       = "W. Grieskamp and N. Kicillof and K. Stobie and V. Braberman",
 year         = "2011",
 title        = "Model-Based Quality Assurance of Protocol Documentation: Tools and Methodology",
 journal      = "Journal of Software Testing, Verification and Reliability",
 volume       = "21",
 number       = "1",
 pages        = "55--71",
 doi          = "10.1002/stvr.427",
)
@misc(osmotester,
 author       = "T. Kanstr\'{e}n",
 year         = "2011",
 title        = "OSMOTester",
 url          = "http://code.google.com/p/osmo",
)
@inproceedings(teemu2011,
 author       = "T. Kanstr\'{e}n and O-P. Puolitaival and J. Per{\"a}l{\"a}",
 year         = "2011",
 title        = "An Approach to Modularization in Model-Based Testing",
 booktitle    = "3rd Int'l. Conf. on Advances in System Testing and Validation Lifecycle (VALID2011)",
)
@inproceedings(teemu2012,
 author       = "T. Kanstr\'{e}n and O-P. Puolitaival and V-M. Rytky and A. Saarela and J. S. Ker{\"a}nen",
 year         = "2012",
 title        = "Experiences in Setting up Domain-Specific Model-Based Testing",
 booktitle    = "13th IEEE Int'l. Conf. on Industrial Technology (ICIT2012)",
)
@inproceedings(katara2006,
 author       = "M. Katara and A. Kervinen",
 year         = "2006",
 title        = "Making Model-Based Testing more Agile: A Use Case Driven Approach",
 booktitle    = "Haifa Verification Conference (HVC2006)",
 pages        = "219--234",
 doi          = "10.1007/978-3-540-70889-6\_17",
)
@book(kelly2008,
 author       = "S. Kelly and J-P. Tolvanen",
 year         = "2008",
 title        = "Domain Specific Modeling: Enabling Full Code Generation",
 publisher    = "Wiley",
)
@article(kloos2010,
 author       = "J. Kloos and R. Eschbach",
 year         = "2010",
 title        = "A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "263",
 pages        = "145--160",
 doi          = "10.1016/j.entcs.2010.05.009",
)
@inproceedings(pretschner2005,
 author       = "A. Pretschner and W. Prenninger and S. Wagner and C. K{\"u}hnel and M. Baumgartner and B. Sostawa and R. Z{\"o}lch and T. Stauner",
 year         = "2005",
 title        = "One Evaluation of Model-Based testing and its Automation",
 booktitle    = "27th Int'l. Conf. on Software Engineering (ICSE2005)",
 pages        = "392--401",
 doi          = "10.1145/1062455.1062529",
)
@inproceedings(op2011,
 author       = "O-P. Puolitaival and T. Kanstr\'{e}n and V-M. Rytky and A. Saarela",
 year         = "2011",
 title        = "Utilizing Domain-Specific Modelling for Software Testing",
 booktitle    = "3rd Int'l. Conf. on Advances in System Testing and Validation Lifecycle (VALID2011)",
)
@inproceedings(neto2008,
 author       = "P. Santos-Neto and R. Resende and C. P\'{a}dua",
 year         = "2008",
 title        = "An Evaluation of a Model-Based Testing Method for Information Systems",
 booktitle    = "ACM Symposium on Applied Computing",
 pages        = "770--776",
 doi          = "10.1145/1363686.1363865",
)
@inproceedings(takala2011,
 author       = "T. Takala and M. Katara and J. Harty",
 year         = "2012",
 title        = "Experiences of System-Level Model-Based GUI Testing of Android Applications",
 booktitle    = "4th IEEE Int'l. Conf. on Software Testing, Verification and Validation (ICST2011)",
 doi          = "10.1109/ICST.2011.11",
)
@book(utting2007,
 author       = "M. Utting and B. Legeard",
 year         = "2007",
 title        = "Practical Model-Based Testing: A Tools Approach",
 publisher    = "Morgan Kaufmann",
)
@article(utting2011,
 author       = "M. Utting and A. Pretschner and B. Legeard",
 year         = "2011",
 title        = "A Taxonomy of Model-Based Testing Approaches",
 journal      = "Journal of Software Testing, Verification and Reliability",
 doi          = "10.1002/stvr.456",
)
@inproceedings(vieira2008,
 author       = "M. Vieira and X. Song and G. Matos and S. Storck and R. Tanikella and B. Hasling",
 year         = "2008",
 title        = "Applying Model-Based Testing to Healthcare Products: Preliminary Experiences",
 booktitle    = "30th Int'l. Conf. on Software Engineering (ICSE2008)",
 pages        = "669--671",
 doi          = "10.1145/1368088.1368183",
)