@unknown(deAH:interface-automata,
 author       = "L. de Alfaro and T. Henzinger",
 year         = "2001",
 title        = "Interface automata",
 booktitle    = "Proc. Foundations of Software Engineering",
 publisher    = "{ACM Press}",
 pages        = "109--120",
)
@unknown(deAlfHenzStoe:TimedInterfaces,
 author       = "L. de Alfaro and Th. Henzinger and Marielle Stoelinga",
 year         = "2002",
 title        = "Timed interfaces",
 booktitle    = "Proc. {EMSOFT'02}",
)
@unknown(AndreBPRV97,
 author       = "C. Andr{\'e} and F. Boulanger and M.-A. P{\'e}raldi and J. P. Rigault and G. Vidal-Naquet",
 year         = "1997",
 title        = "Objects and synchronous programming",
 journal      = "European Journal on Automated Systems",
 volume       = "31",
 number       = "3",
 pages        = "417--432",
)
@unknown(BaccelliCOQ:SyncNLin,
 author       = "F. L. Baccelli and G. Cohen and G. J. Olsder and J.-P. Quadrat",
 year         = "1992",
 title        = "Synchronisation and Linearity",
 publisher    = "John Wiley \& Sons",
)
@unknown(BerryG92,
 author       = "G\'erard Berry and Georges Gonthier",
 year         = "1992",
 title        = "The {E}sterel synchronous programming language: {D}esign, semantics, implementation",
 journal      = "Science of Computer Programming",
 volume       = "19",
 number       = "2",
 pages        = "87--152",
)
@unknown(BoldtTvH07,
 author       = "Marian Boldt and Claus Traulsen and Reinhard von Hanxleden",
 year         = "2008",
 title        = "Worst case reaction time analysis of concurrent reactive programs",
 journal      = "{ENTCS}",
 volume       = "203",
 number       = "4",
 pages        = "65--79",
 note         = "Proc. {SLA++P'07}, March 2007, Braga, Portugal",
)
@unknown(LeBTh:network-calculus,
 author       = "J. Le Boudec and P. Thiran",
 year         = "2001",
 title        = "Network Calculus - A theory of deterministic queuing systems for the internet",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "2050",
 publisher    = "Springer",
)
@unknown(GuernicGBM91,
 author       = "Paul Le Guernic and Thierry Goutier and Michel Le Borgne and Claude Le Maire",
 year         = "1991",
 title        = "Programming real time applications with {SIGNAL}",
 journal      = "Proceedings of the {IEEE}",
 volume       = "79",
 number       = "9",
)
@unknown(HainquePBN99,
 author       = "Olivier Hainque and Laurent Pautet and Yann Le Biannic and Eric Nassor",
 year         = "1999",
 title        = "Cronos: A separate compilation toolset for modular {Esterel} applications.",
 editor       = "Jeannette M. Wing and Jim Woodcock and Jim Davies",
 booktitle    = "World Congress on Formal Methods",
 series       = "Lecture Notes in Computer Science",
 volume       = "1709",
 publisher    = "Springer",
 pages        = "1836--1853",
)
@unknown(Halbwachs98,
 author       = "Nicolas Halbwachs",
 year         = "1998",
 title        = "Synchronous programming of reactive systems, a tutorial and commented bibliography",
 booktitle    = "Tenth International Conference on Computer-Aided Verification, CAV '98",
 publisher    = "LNCS 1427, Springer Verlag",
 address      = "Vancouver (B.C.)",
)
@unknown(Halbwachs05,
 author       = "Nicolas Halbwachs",
 year         = "2005",
 title        = "A synchronous language at work: The story of {L}ustre",
 booktitle    = "Third ACM-IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE'05",
 address      = "Verona, Italy",
)
@unknown(HarPnuPruShe87,
 author       = "D. Harel and A. Pnueli and J. Pruzan-Schmidt and R. Sherman",
 year         = "1987",
 title        = "On the formal semantics of {Statecharts}",
 booktitle    = "{LICS} '87",
 publisher    = "{IEEE} Computer Society Press",
 pages        = "54--64",
)
@unknown(HM:RTAS06,
 author       = "Th. Henzinger and S. Matic",
 year         = "2006",
 title        = "An interface algebra for real-time components",
 booktitle    = "Proceedings of the 12th Annual Real-Time and Embedded Technology and Applications Symposium (RTAS)",
 publisher    = "{IEEE} Computer Society",
 address      = "Los Alamitos, {CA}, {USA}",
 pages        = "253--266",
)
@unknown(Hui91,
 author       = "C. Huizing",
 year         = "1991",
 title        = "Semantics of Reactive Systems: Comparison and Full Abstraction",
 type         = "Ph.D. thesis",
 school       = "Eindhoven Univ.\ of Technology",
)
@unknown(LeeX:SysTypes,
 author       = "E. A. Lee and Y. Xiong",
 year         = "2001",
 title        = "System-level types for component-based design",
 booktitle    = "Workshop on Embedded Software {EMSOFT 2001}",
 address      = "Lake Tahoe, {CA}, {USA}",
)
@unknown(LeeX:BehTypes,
 author       = "E. A. Lee and Y. Xiong",
 year         = "2004",
 title        = "A behavioral type system and its application in {Ptolemy II}",
 journal      = "Formal Aspects of Computing",
 volume       = "13",
 number       = "3",
 pages        = "210--237",
)
@unknown(LeeZZ05,
 author       = "E. A. Lee and H. Zheng and Y. Zhou",
 year         = "2005",
 title        = "Causality interfaces and compositional causality analysis",
 booktitle    = "Foundations of Interface Technologies (FIT'05)",
 series       = "{ENTCS}",
 publisher    = "Elsevier",
)
@unknown(LiBvH06,
 author       = "Xin Li and Marian Boldt and Reinhard von Hanxleden",
 year         = "2006",
 title        = "Mapping {Esterel} onto a multi-threaded embedded processor",
 booktitle    = "Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'06)",
 address      = "San Jose, CA",
)
@unknown(LivH10,
 author       = "Xin Li and Reinhard von Hanxleden",
 year         = "2010",
 title        = "Multi-threaded reactive programming---The Kiel Esterel processor",
 journal      = "IEEE Transactions on Computers",
)
@unknown(mvm01-tocl,
 author       = "G. Luettgen and M. Mendler",
 year         = "2002",
 title        = "The intuitionism behind {S}tatecharts steps",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "3",
 number       = "1",
 pages        = "1--41",
)
@unknown(mvm00:IGPL,
 author       = "M. Mendler",
 year         = "2000",
 title        = "Characterising combinational timing analyses in intuitionistic modal logic",
 journal      = "{T}he {L}ogic {J}ournal of the {IGPL}",
 volume       = "8",
 number       = "6",
 pages        = "821--853",
)
@unknown(MendlervHT09,
 author       = "Michael Mendler and Reinhard von Hanxleden and Claus Traulsen",
 year         = "2009",
 title        = "{WCRT algebra and interfaces for Esterel-style synchronous processing}",
 booktitle    = "Proceedings of the Design, Automation and Test in Europe (DATE'09)",
 address      = "Nice, France",
)
@unknown(PnueliS91,
 author       = "Amir Pnueli and M. Shalev",
 year         = "1991",
 title        = "What is in a step: On the semantics of {Statecharts}",
 booktitle    = "TACS '91: Proceedings of the International Conference on Theoretical Aspects of Computer Software",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "244--264",
)
@unknown(lucy:manual06,
 author       = "Marc Pouzet",
 year         = "2006",
 title        = "{Lucid Synchrone}, version 3. {Tutorial and reference manual}",
 organization = "Universit\'e Paris-Sud, LRI",
 note         = "Distribution available at: {\tt www.lri.fr/$\sim $pouzet/lucid-synchrone}",
)
@unknown(Schneider02,
 author       = "Klaus Schneider",
 year         = "2002",
 title        = "Proving the equivalence of microstep and macrostep semantics",
 booktitle    = "TPHOLs '02: Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "314--331",
)
@unknown(TripLickHenzLee:RelInterfaces,
 author       = "S. Tripakis and B. Lickly and Th. A. Henzinger and E. A. Lee",
 year         = "2009",
 title        = "On relational interfaces",
 type         = "Technical Report",
 number       = "{UCB/EECS-2009-60}",
 institution  = "Electrical Enginering and Computer Sciences, Univ. of California at Berkely",
)
@unknown(WT:EMSOFT05,
 author       = "E. Wandeler and L. Thiele",
 year         = "2005",
 title        = "Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling",
 booktitle    = "Proceedings of the ACM International Conference on Embedded Software (EMSOFT'05)",
)