@article(AFS09,
 author       = "L. de Alfaro and M. Faella and M. Stoelinga",
 year         = "2009",
 title        = "Linear and Branching System Metrics",
 journal      = "IEEE Trans. Software Eng.",
 volume       = "35",
 number       = "2",
 pages        = "258--273",
 doi          = "10.1109/TSE.2008.106",
)
@inproceedings(AH01,
 author       = "L. de Alfaro and T. Henzinger",
 year         = "2001",
 title        = "Interface automata",
 booktitle    = "ESEC / FSE",
 pages        = "109--120",
 doi          = "10.1145/503225.503226",
)
@article(AH05,
 author       = "L. de Alfaro and T. Henzinger",
 year         = "2005",
 title        = "Interface-based design",
 journal      = "Engineering theories of software intensive systems",
 pages        = "83--104",
 doi          = "10.1007/1-4020-3532-2\_3",
)
@inproceedings(AHS02,
 author       = "L. de Alfaro and T. Henzinger and M. Stoelinga",
 year         = "2002",
 title        = "Timed Interfaces",
 booktitle    = "EMSOFT",
 pages        = "108--122",
 doi          = "10.1007/3-540-45828-X\_9",
)
@article(dAMRS08,
 author       = "L. de Alfaro and R. Majumdar and V. Raman and M. Stoelinga",
 year         = "2008",
 title        = "Game Refinement Relations and Metrics",
 journal      = "Logical Methods in Computer Science",
 volume       = "4",
 number       = "3",
 doi          = "10.2168/LMCS-4(3:7)2008",
)
@inproceedings(AHKV98,
 author       = "R. Alur and T. Henzinger and O. Kupferman and M. Vardi",
 year         = "1998",
 title        = "Alternating Refinement Relations",
 booktitle    = "CONCUR",
 pages        = "163--178",
 doi          = "10.1007/BFb0055622",
)
@article(vanBreugel01,
 author       = "F. van Breugel",
 year         = "2001",
 title        = "An introduction to metric semantics: operational and denotational models for programming and specification languages",
 journal      = "TCS",
 volume       = "258",
 number       = "1-2",
 pages        = "1--98",
 doi          = "10.1016/S0304-3975(00)00403-5",
)
@inproceedings(CB02,
 author       = "P. Caspi and A. Benveniste",
 year         = "2002",
 title        = "Toward an Approximation Theory for Computerised Control",
 booktitle    = "EMSOFT",
 pages        = "294--304",
 doi          = "10.1007/3-540-45828-X\_22",
)
@inproceedings(CHR10a,
 author       = "P. {\v C}ern{\'y} and T. Henzinger and A. Radhakrishna",
 year         = "2010",
 title        = "Simulation Distances",
 booktitle    = "CONCUR",
 pages        = "253--268",
 doi          = "10.1007/978-3-642-15375-4\_18",
)
@article(CHR12,
 author       = "P. {\v C}ern{\'y} and T. Henzinger and A. Radhakrishna",
 year         = "2012",
 title        = "Simulation distances",
 journal      = "TCS",
 volume       = "413",
 number       = "1",
 pages        = "21--35",
 doi          = "10.1016/j.tcs.2011.08.002",
)
@inproceedings(CAHS03,
 author       = "A. Chakrabarti and L. de Alfaro and T. Henzinger and M. Stoelinga",
 year         = "2003",
 title        = "Resource Interfaces",
 booktitle    = "EMSOFT",
 pages        = "117--133",
 doi          = "10.1007/978-3-540-45212-6\_9",
)
@article(DGJP04,
 author       = "J. Desharnais and V. Gupta and R. Jagadeesan and P. Panangaden",
 year         = "2004",
 title        = "Metrics for labelled {M}arkov processes",
 journal      = "TCS",
 volume       = "318",
 number       = "3",
 pages        = "323--354",
 doi          = "10.1016/j.tcs.2003.09.013",
)
@inproceedings(DHJP08,
 author       = "L. Doyen and T. Henzinger and B. Jobstmann and T. Petrov",
 year         = "2008",
 title        = "Interface theories with component reuse",
 booktitle    = "EMSOFT",
 pages        = "79--88",
 doi          = "10.1145/1450058.1450070",
)
@article(Harel87,
 author       = "D. Harel",
 year         = "1987",
 title        = "Statecharts: A Visual Formalism for Complex Systems",
 journal      = "Sci. Comput. Program.",
 volume       = "8",
 number       = "3",
 pages        = "231--274",
 doi          = "10.1016/0167-6423(87)90035-9",
)
@inproceedings(Jackson00,
 author       = "D. Jackson",
 year         = "2000",
 title        = "Enforcing Design Constraints with Object Logic",
 booktitle    = "SAS",
 pages        = "1--21",
 doi          = "10.1007/978-3-540-45099-3\_1",
)
@article(larsen_modal_2007,
 author       = "K. Larsen and U. Nyman and A. Wasowski",
 year         = "2007",
 title        = "Modal {I/O} automata for interface and product line theories",
 journal      = "Programming Languages and Systems",
 pages        = "64–79",
 doi          = "10.1007/978-3-540-71316-6\_6",
)
@article(YS97,
 author       = "D. Yellin and R. Strom",
 year         = "1997",
 title        = "Protocol Specifications and Component Adaptors",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "19",
 number       = "2",
 pages        = "292--333",
 doi          = "10.1145/244795.244801",
)
@article(ZP96,
 author       = "U. Zwick and M. Paterson",
 year         = "1996",
 title        = "The Complexity of Mean Payoff Games on Graphs",
 journal      = "Theor. Comput. Sci.",
 volume       = "158",
 number       = "1{\&}2",
 pages        = "343--359",
 doi          = "10.1016/0304-3975(95)00188-3",
)