@unknown(DBLP:conf/sigsoft/AlfaroH01,
 author       = "Luca de~Alfaro and Thomas~A. Henzinger",
 year         = "2001",
 title        = "Interface automata",
 journal      = "SIGSOFT Softw. Eng. Notes",
 volume       = "26",
 pages        = "109--120",
)
@unknown(DBLP:conf/emsoft/AlfaroH01,
 author       = "Luca de~Alfaro and Thomas~A. Henzinger",
 year         = "2001",
 title        = "Interface Theories for Component-Based Design",
 editor       = "Thomas~A. Henzinger and Christoph~M. Kirsch",
 booktitle    = "EMSOFT",
 series       = "LNCS",
 volume       = "2211",
 publisher    = "Springer",
 pages        = "148--165",
)
@unknown(Alfaro2005,
 author       = "Luca de~Alfaro and Thomas~A. Henzinger",
 year         = "2005",
 title        = "{Interface-based Design}",
 editor       = "Manfred Broy and Johannes Gr{\"u}nbauer and David Harel and C.~A.~R. Hoare",
 booktitle    = "Engineering Theories of Software-intensive Systems",
 series       = "NATO Science Series: Mathematics, Physics, and Chemistry",
 volume       = "195",
 publisher    = "Springer",
 pages        = "83--104",
)
@unknown(sbmf2010,
 author       = "Sebastian~S. Bauer and Rolf Hennicker and Michel Bidoit",
 year         = "2010",
 title        = "{A Modal Interface Theory with Data Constraints}",
 booktitle    = "SBMF 2010",
 series       = "LNCS",
 publisher    = "Springer",
 note         = "To appear.",
)
@unknown(facs2009,
 author       = "Sebastian~S. Bauer and Rolf Hennicker and Stephan Janisch",
 year         = "2010",
 title        = "Behaviour Protocols for Interacting Stateful Components",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "263",
 pages        = "47--66",
)
@unknown(tacas2010,
 author       = "Sebastian~S. Bauer and Philip Mayer and Andreas Schroeder and Rolf Hennicker",
 year         = "2010",
 title        = "On Weak Modal Compatibility, Refinement, and the {MIO Workbench}",
 editor       = "Javier Esparza and Rupak Majumdar",
 booktitle    = "TACAS",
 series       = "LNCS",
 volume       = "6015",
 publisher    = "Springer",
 pages        = "175--189",
)
@unknown(tacas2010_techreport,
 author       = "Sebastian~S. Bauer and Philip Mayer and Andreas Schroeder and Rolf Hennicker",
 year         = "2010",
 title        = "On Weak Modal Compatibility, Refinement, and the {MIO Workbench}",
 type         = "Technical Report",
 number       = "1001",
 institution  = "Institut f\"ur Informatik, Ludwig-Maximilians-Universit\"at M\"unchen",
)
@unknown(Brand-Zafiropulo,
 author       = "Daniel Brand and Pitro Zafiropulo",
 year         = "1983",
 title        = "On Communicating Finite-State Machines",
 journal      = "J. ACM",
 volume       = "30",
 number       = "2",
 pages        = "323--342",
)
@unknown(DBLP:conf/ershov/HuttelL89,
 author       = "Hans H{\"u}ttel and Kim~Guldstrand Larsen",
 year         = "1989",
 title        = "The Use of Static Constructs in A Modal Process Logic",
 editor       = "Albert~R. Meyer and Michael~A. Taitslin",
 booktitle    = "Logic at Botik",
 series       = "LNCS",
 volume       = "363",
 publisher    = "Springer",
 pages        = "163--180",
)
@unknown(JanischPHDThesis,
 author       = "Stephan Janisch",
 year         = "2010",
 title        = "Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication",
 type         = "Ph.D. thesis",
 school       = "Institut f\"ur Informatik, Ludwig-Maximilians-Universit\"at M\"unchen",
)
@unknown(larsen2007,
 author       = "Kim~Guldstrand Larsen and Ulrik Nyman and Andrzej Wasowski",
 year         = "2007",
 title        = "Modal {I/O} Automata for Interface and Product Line Theories",
 editor       = "Rocco~De Nicola",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "4421",
 publisher    = "Springer",
 pages        = "64--79",
)
@unknown(DBLP:conf/lics/LarsenT88,
 author       = "Kim~Guldstrand Larsen and Bent Thomsen",
 year         = "1988",
 title        = "A Modal Process Logic",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "203--210",
)
@unknown(MIO-Workbench-WWW,
 author       = "MIO-Workbench",
 howpublished = "\url {http://www.miowb.net/}",
)