@unknown(dAH01,
 author       = "L. de Alfaro and T. A. Henzinger",
 year         = "2001",
 title        = "Interface automata",
 booktitle    = "FSE",
 publisher    = "ACM Press",
 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       = "Lecture Notes in Computer Science",
 volume       = "2211",
 publisher    = "Springer",
 pages        = "148--165",
)
@unknown(DBLP:conf/emsoft/AlfaroHS02,
 author       = "Luca de Alfaro and Thomas A. Henzinger and Mari{\"e}lle Stoelinga",
 year         = "2002",
 title        = "Timed Interfaces",
 editor       = "Alberto L. Sangiovanni-Vincentelli and Joseph Sifakis",
 booktitle    = "EMSOFT",
 series       = "Lecture Notes in Computer Science",
 volume       = "2491",
 publisher    = "Springer",
 pages        = "108--122",
)
@unknown(baier.katoen:2008,
 author       = "Christel Baier and Joost-Pieter Katoen",
 year         = "2008",
 title        = "Principles of Model Checking",
 publisher    = "The MIT Press",
)
@unknown(handbook,
 editor       = "Jan A. Bergstra and Alban Ponse and Scott A. Smolka",
 year         = "2001",
 publisher    = "Elsevier",
)
@unknown(caillaud.ea:2009:qest,
 author       = "{B}enoit {C}aillaud and {B}eno{\^i}t {D}elahaye and {K}im {G}. {L}arsen and {A}xel {L}egay and {M}ikkel {L}. {P}edersen and {A}ndrzej {W}asowski",
 year         = "2010",
 title        = "{C}ompositional {D}esign {M}ethodology with {C}onstraint {M}arkov {C}hains",
 booktitle    = "QEST'10",
 note         = "To appear",
)
@unknown(DBLP:conf/hybrid/DavidLLNW10,
 author       = "Alexandre David and Kim G. Larsen and Axel Legay and Ulrik Nyman and Andrzej Wasowski",
 year         = "2010",
 title        = "Timed I/O automata: a complete specification theory for real-time systems",
 editor       = "Karl Henrik Johansson and Wang Yi",
 booktitle    = "HSCC",
 publisher    = "ACM ACM",
 pages        = "91--100",
)
@unknown(RG-sefm09,
 author       = "G. Goessler and J.-B. Raclet",
 year         = "2009",
 title        = "Modal Contracts for Component-based Design",
 booktitle    = "{P}roc. of the 7th IEEE International Conference on Softwar e Engineering and Formal Methods (SEFM'09)",
 publisher    = "IEEE Computer Society Press",
 address      = "Hanoi, Vietnam",
 note         = "To appear",
)
@unknown(Larsen89,
 author       = "K. G. Larsen",
 year         = "1989",
 title        = "Modal Specifications",
 booktitle    = "AVMS",
 series       = "LNCS",
 volume       = "407",
 publisher    = "Springer",
 pages        = "232--246",
)
@unknown(DBLP:conf/esop/LarsenNW07,
 author       = "Kim Guldstrand Larsen and Ulrik Nyman and Andrzej W\k {a}sowski",
 year         = "2007",
 title        = "Modal {I/O} Automata for Interface and Product Line Theories",
 booktitle    = "ESOP",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "64--79",
)
@unknown(RBBCLP09,
 author       = "J-B. Raclet and E. Badouel and A. Benveniste and B. Caillaud and A. Legay and R. Passerone",
 year         = "2009",
 title        = "Modal Interfaces: Unifying Interface Automata and Modal Specifications",
 booktitle    = "EMSOFT",
)