@inproceedings(learningIOautomata,
 author       = {Fides Aarts and Frits Vaandrager},
 year         = {2010},
 title        = {Learning {I}/{O} Automata},
 booktitle    = {International Conference on Concurrency Theory},
 publisher    = {Springer},
 pages        = {71--85},
 doi          = {10.1007/978-3-642-15375-4\_6},
)
@inproceedings(alternatingincl,
 author       = {Rajeev Alur and Thomas Henzinger and Orna Kupferman and Moshe Vardi},
 year         = {1998},
 title        = {Alternating Refinement Relations},
 booktitle    = {International Conference on Concurrency Theory},
 organization = {Springer},
 pages        = {163--178},
 doi          = {10.1007/BFb0055622},
)
@inproceedings(bloem2016synthesizing,
 author       = {Roderick Bloem and Robert K{\"o}nighofer and Ingo Pill and Franz R{\"o}ck},
 year         = {2016},
 title        = {Synthesizing Adaptive Test Strategies from Temporal Logic Specifications},
 booktitle    = {Formal Methods in Computer-Aided Design},
 organization = {IEEE},
 pages        = {17--24},
 doi          = {10.1109/FMCAD.2016.7886656},
)
@inproceedings(ncompletepaper,
 author       = {{\VAN{Bos}{van den}{Van den}} Bos, Petra and Ramon Janssen and Joshua Moerman},
 year         = {2017},
 title        = {n-{C}omplete Test Suites for {IOCO}},
 booktitle    = {IFIP International Conference on Testing Software and Systems},
 organization = {Springer},
 pages        = {91--107},
 doi          = {10.1007/978-3-319-67549-7\_6},
)
@inproceedings(BrandanBB04,
 author       = {Laura Brand\'an Briones and Hendrik Brinksma},
 year         = {2004},
 title        = {A Test Teneration Framework for Quiescent Real-Time Systems},
 booktitle    = {Proc. Formal Approaches to Testing of Software (4th International Workshop)},
 pages        = {71 -- 85},
 doi          = {10.1007/978-3-540-31848-4\_5},
)
@inproceedings(coveragecomplexity,
 author       = {Krishnendu Chatterjee and De Alfaro, Luca and Rupak Majumdar},
 year         = {2008},
 title        = {The Complexity of Coverage},
 booktitle    = {Asian Symposium on Programming Languages and Systems},
 organization = {Springer},
 pages        = {91--106},
 doi          = {10.1007/978-3-540-89330-1\_7},
)
@inproceedings(synthesissafety,
 author       = {Eric Dallal and Daniel Neider and Paulo Tabuada},
 year         = {2016},
 title        = {Synthesis of Safety Controllers Robust to Unmodeled Intermittent Disturbances},
 booktitle    = {Decision and Control (CDC), 2016 IEEE 55th Conference on},
 organization = {IEEE},
 pages        = {7425--7430},
 doi          = {10.1109/CDC.2016.7799416},
)
@article(david2008cooperative,
 author       = {Alexandre David and Kim Larsen and Shuhao Li and Brian Nielsen},
 year         = {2008},
 title        = {Cooperative Testing of Timed Systems},
 journal      = {Electronic Notes in Theoretical Computer Science},
 pages        = {79--92},
 doi          = {10.1016/j.entcs.2008.11.007},
)
@inproceedings(realtimegames,
 author       = {Alexandre David and Kim Larsen and Shuhao Li and Brian Nielsen},
 year         = {2008},
 title        = {A Game-Theoretic Approach to Real-Time System Testing},
 booktitle    = {Design, Automation and Test in Europe},
 organization = {IEEE},
 pages        = {486--491},
 doi          = {10.1145/1403375.1403491},
)
@inproceedings(david2009timed,
 author       = {Alexandre David and Kim Larsen and Shuhao Li and Brian Nielsen},
 year         = {2009},
 title        = {Timed Testing under Partial Observability},
 booktitle    = {International Conference on Software Testing Verification and Validation},
 organization = {IEEE},
 pages        = {61--70},
 doi          = {10.1109/ICST.2009.38},
)
@inproceedings(outputeager,
 author       = {Niklas Krafczyk and Jan Peleska},
 year         = {2017},
 title        = {Effective Infinite-State Model Checking by Input Equivalence Class Partitioning},
 booktitle    = {IFIP International Conference on Testing Software and Systems},
 organization = {Springer},
 pages        = {38--53},
 doi          = {10.1007/978-3-319-67549-7\_3},
)
@article(VCGST04,
 author       = {Lev Nachmanson and Margus Veanes and Wolfram Schulte and Nikolai Tillmann and Wolfgang Grieskamp},
 year         = {2004},
 title        = {Optimal Strategies for Testing Nondeterministic Systems},
 journal      = {ACM SIGSOFT International Symposium on Software Testing and Analysis},
 pages        = {55--64},
 doi          = {10.1145/1013886.1007520},
)
@inproceedings(Papadimitriou_2001,
 author       = {Christos Papadimitriou},
 year         = {2001},
 title        = {Algorithms, Games, and the {I}nternet},
 booktitle    = {Proceedings of the thirty-third annual ACM symposium on Theory of computing},
 publisher    = {ACM Press},
 pages        = {749--753},
 doi          = {10.1145/380752.380883},
)
@inproceedings(iotsioco,
 author       = {Adenilso Simao and Alexandre Petrenko},
 year         = {2014},
 title        = {Generating Complete and Finite Test Suite for ioco: Is It Possible?},
 booktitle    = {Proceedings of the Ninth Workshop on Model-Based Testing},
 pages        = {56--70},
 doi          = {10.4204/EPTCS.141.5},
)
@inproceedings(STS13,
 author       = {Willem Stokkink and Mark Timmer and Mari\"elle Stoelinga},
 year         = {2013},
 title        = {Divergent Quiescent Transition Systems},
 booktitle    = {Proceedings seventh conference on Tests and Proofs},
 series       = {LNCS},
 doi          = {10.1007/978-3-642-38916-0\_13},
)
@incollection(TBS11,
 author       = {Mark Timmer and Hendrik Brinksma and Mari\"elle Stoelinga},
 year         = {2011},
 title        = {Model-Based Testing},
 booktitle    = {Software and Systems Safety: Specification and Verification},
 series       = {NATO Science for Peace and Security},
 publisher    = {IOS Press},
 pages        = {1--32},
 doi          = {10.3233/978-1-60750-711-6-1},
)
@incollection(tretmans,
 author       = {Jan Tretmans},
 year         = {2008},
 title        = {Model {B}ased {T}esting with {L}abelled {T}ransition {S}ystems},
 booktitle    = {Formal methods and testing},
 publisher    = {Springer},
 pages        = {1--38},
 doi          = {10.1007/978-3-540-78917-8\_1},
)
@inproceedings(alternatingveanes,
 author       = {Margus Veanes and Bj{\o}rner, Nikolaj},
 year         = {2010},
 title        = {Alternating Simulation and {IOCO}},
 booktitle    = {IFIP International Conference on Testing Software and Systems},
 organization = {Springer},
 pages        = {47--62},
 doi          = {10.1007/978-3-642-16573-3\_5},
)
@article(confrelandtestobj,
 author       = {Ren{\'e} de Vries and Jan Tretmans},
 year         = {2001},
 title        = {Towards Formal Test Purposes},
 journal      = {Formal Approaches to Testing of Software, FATES'01: A Satellite Workshop of CONCUR'01 Proceedings},
 pages        = {61--76},
)
@article(nodecoverage,
 author       = {Farn Wang and Sven Schewe and Jung-Hsuan Wu},
 year         = {2015},
 title        = {Complexity of Node Coverage Games},
 journal      = {Theoretical Computer Science},
 pages        = {45--60},
 doi          = {10.1016/j.tcs.2015.02.002},
)