@incollection(alfaro:interfacebased,
 author       = "Luca de Alfaro and Thomas A. Henzinger",
 year         = "2005",
 title        = "{Interface-Based Design}",
 booktitle    = "Engineering Theories of Software Intensive Systems",
 series       = "NATO Science Series",
 volume       = "195",
 publisher    = "Springer",
 pages        = "83--104",
 doi          = "10.1007/1-4020-3532-2\_3",
)
@inproceedings(Alur1998,
 author       = "Rajeev Alur and Thomas A. Henzinger and Orna Kupferman and Moshe Y. Vardi",
 year         = "1998",
 title        = "{Alternating Refinement Relations}",
 booktitle    = "Concur'98",
 publisher    = "Springer",
 pages        = "163--178",
 doi          = "10.1007/BFb0055622",
)
@inproceedings(Asirelli2011a,
 author       = "Patrizia Asirelli and Maurice H. ter Beek and Alessandro Fantechi and Stefania Gnesi",
 year         = "2011",
 title        = "{A Model-Checking Tool for Families of Services}",
 booktitle    = "LNCS 6722",
 pages        = "44--58",
 doi          = "10.1007/978-3-642-21461-5\_3",
)
@article(Bauer2011,
 author       = "Sebastian S. Bauer and Rolf Hennicker and Stephan Janisch",
 year         = "2011",
 title        = "{Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems}",
 journal      = "EPTCS",
 volume       = "46",
 pages        = "1--8",
 doi          = "10.4204/EPTCS.46.1",
)
@inproceedings(Belinfante2010,
 author       = "Axel Belinfante",
 year         = "2010",
 title        = "{JTorX}: {A} {T}ool for {O}n-{L}ine {M}odel-{D}riven {T}est {D}erivation and {E}xecution.",
 editor       = "Javier Esparza and Rupak Majumdar",
 booktitle    = "TACAS",
 series       = "LNCS",
 volume       = "6015",
 publisher    = "Springer",
 pages        = "266--270",
)
@inproceedings(Beohar2014,
 author       = "Harsh Beohar and Mohammad Reza Mousavi",
 year         = "2014",
 title        = "Input-output Conformance Testing Based on Featured Transition Systems",
 booktitle    = "Proc. of SAC'14",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "1272--1278",
 doi          = "10.1145/2554850.2554949",
)
@inproceedings(Classen2011,
 author       = "Andreas Classen and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay",
 year         = "2011",
 title        = "{Symbolic Model Checking of Software Product Lines}",
 booktitle    = "ICSE'11",
 pages        = "321--330",
 doi          = "10.1145/1985793.1985838",
)
@inproceedings(Classen2010,
 author       = "Andreas Classen and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay and Jean-Fran\c {c}ois Raskin",
 year         = "2010",
 title        = "Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines",
 booktitle    = "ICSE '10",
 pages        = "335--344",
 doi          = "10.1145/1806799.1806850",
)
@book(Clements2001,
 author       = "Paul Clements and Linda Northrop",
 year         = "2001",
 title        = "{Software Product Lines: Practices and Patterns}",
 publisher    = "Addison-Wesley Longman Publishing Co., Inc.",
)
@inproceedings(Fischbein2006,
 author       = "Dario Fischbein and Sebastián Uchitel and V\'{i}ctor A. Braberman",
 year         = "2006",
 title        = "{A Foundation for Behavioural Conformance in Software Product Line Architectures}",
 editor       = "Robert M. Hierons and Henry Muccini",
 booktitle    = "ISSTA'06",
 publisher    = "ACM",
 pages        = "39--48",
 doi          = "10.1145/1147249.1147254",
)
@incollection(larsen:modalspec,
 author       = "Kim G. Larsen",
 year         = "1990",
 title        = "{Modal Specifications}",
 booktitle    = "Automatic Verification Methods for Finite State Systems",
 series       = "LNCS",
 volume       = "407",
 publisher    = "Springer",
 pages        = "232--246",
 doi          = "10.1007/3-540-52148-8\_19",
)
@inproceedings(larsen:modalioautomata,
 author       = "Kim G. Larsen and Ulrik Nyman and Andrzej Wasowski",
 year         = "2007",
 title        = "{Modal I/O Automata for Interface and Product Line Theories}",
 booktitle    = "Proc. of ESOP'07",
 series       = "LNCS 4421",
 publisher    = "Springer",
 pages        = "64--79",
 doi          = "10.1007/978-3-540-71316-6\_6",
)
@inproceedings(Larsen1988,
 author       = "Kim G. Larsen and Bent Thomsen",
 year         = "1988",
 title        = "{A Modal Process Logic}",
 booktitle    = "LICS",
 pages        = "203--210",
)
@incollection(lochau:modelbasedtesting,
 author       = "Malte Lochau and Sven Peldszus and Matthias Kowal and Ina Schaefer",
 year         = "2014",
 title        = "{Model-Based Testing}",
 booktitle    = "Formal Methods for Executable Software Models",
 series       = "LNCS",
 volume       = "8483",
 publisher    = "Springer",
 pages        = "310--342",
 doi          = "10.1007/978-3-319-07317-0\_8",
)
@article(luettgen:modalinterfaceautomata,
 author       = "Gerald L{\"{u}}ttgen and Walter Vogler",
 year         = "2013",
 title        = "Modal Interface Automata",
 journal      = "LMCS",
 volume       = "9",
)
@article(Nicola1987,
 author       = "Rocco de Nicola",
 year         = "1987",
 title        = "{Extensional equivalences for transition systems}",
 journal      = "Acta Informatica",
 volume       = "237",
 pages        = "211--237",
 doi          = "10.1007/BF00264365",
)
@inproceedings(Raclet2009,
 author       = "Jean-Baptiste Raclet and Eric Badouel and Albert Benveniste and Beno\^{\i }t Caillaud and Axel Legay and Roberto Passerone",
 year         = "2009",
 title        = "{Modal Interfaces: Unifying Interface Automata and Modal Specifications}",
 booktitle    = "EMSOFT'09",
 publisher    = "ACM",
 pages        = "87--96",
 doi          = "10.1145/1629335.1629348",
)
@article(raclet:modalinterfacetheory,
 author       = "Jean-Baptiste Raclet and Eric Badouel and Albert Benveniste and Beno\^{\i }t Caillaud and Axel Legay and Roberto Passerone",
 year         = "2011",
 title        = "{A Modal Interface Theory for Component-based Design}",
 journal      = "Fundam. Inf.",
 volume       = "108",
 pages        = "119--149",
)
@article(Thum2014,
 author       = "Thomas Th\"{u}m and Sven Apel and Christian K\"{a}stner and Ina Schaefer and Gunter Saake",
 year         = "2014",
 title        = "{A Classification and Survey of Analysis Strategies for Software Product Lines}",
 journal      = "ACM Comput. Surv.",
 volume       = "47",
 pages        = "6:1--6:45",
 doi          = "10.1145/2580950",
)
@article(Tretmans1996,
 author       = "Jan 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(Vaandrager1991,
 author       = "Frits W. Vaandrager",
 year         = "1991",
 title        = "On the Relationship Between Process Algebra and Input/Output Automata",
 booktitle    = "Proc. of LICS '91",
 pages        = "387--398",
 doi          = "10.1109/LICS.1991.151662",
)