@inproceedings(AbramskyInteraction,
 author       = "S. Abramsky and S. Gay and R. Nagarajan",
 year         = "1996",
 title        = "Interaction Categories and the Foundations of Typed Concurrent Programming",
 editor       = "M. Broy",
 booktitle    = "Proceedings of the 1994 Marktoberdorf Summer Sxhool on Deductive Program Design",
 publisher    = "Springer-Verlag",
 pages        = "35--113",
)
@article(Alur94atheory,
 author       = "Rajeev Alur and David L. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "Theoretical Computer Science",
 volume       = "126",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@article(Barbuti02secureinformation,
 author       = "R. Barbuti and C. Bernardeschi and N. De Francesco",
 year         = "2002",
 title        = "Abstract interpretation of operational semantics for secure information flow",
 journal      = "Inf. Process. Lett.",
 volume       = "83",
 number       = "2",
)
@inproceedings(Clarke1989,
 author       = "E. Clarke and D. Long and K. McMillan",
 year         = "1989",
 title        = "Compositional model checking",
 booktitle    = "Proceedings of the Fourth Annual Symposium on Logic in computer science",
 publisher    = "IEEE Press",
 address      = "Piscataway, NJ, USA",
 pages        = "353--362",
 doi          = "10.1109/LICS.1989.39190",
)
@inproceedings(DavidDLOHP98,
 author       = "Vincent David and Jean Delcoigne and Evelyne Leret and Alain Ourghanlian and Philippe Hilsenkopf and Philippe Paris",
 year         = "1998",
 title        = "Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems",
 booktitle    = "SAFECOMP",
)
@inproceedings(Emerson:1982,
 author       = "E. Allen Emerson and Joseph Y. Halpern",
 year         = "1982",
 title        = "Decision procedures and expressiveness in the temporal logic of branching time",
 booktitle    = "Proceedings of the fourteenth annual ACM symposium on Theory of computing",
 series       = "STOC '82",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "169--180",
 doi          = "10.1145/800070.802190",
)
@article(Haghverdi2005,
 author       = "Esfandiar Haghverdi and Paulo Tabuada and George J. Pappas",
 year         = "2005",
 title        = "Bisimulation relations for dynamical, control, and hybrid systems",
 journal      = "Theor. Comput. Sci.",
 volume       = "342",
 pages        = "229--261",
 doi          = "10.1016/j.tcs.2005.03.045",
)
@article(lustre:ieee,
 author       = "N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud",
 year         = "1991",
 title        = "The synchronous dataflow programming language Lustre",
 journal      = "Proceedings of the IEEE",
 volume       = "79",
 number       = "9",
 pages        = "1305--1320",
 doi          = "10.1109/5.97300",
)
@article(LeroyBigStep,
 author       = "Xavier Leroy and Herv{\'e} Grall",
 year         = "2008",
 title        = "Coinductive big-step operational semantics",
 url          = "http://arxiv.org/abs/0808.0586",
)
@incollection(MooreMachines,
 author       = "Edward F. Moore",
 year         = "1956",
 title        = "{Gedanken Experiments on Sequential Machines}",
 booktitle    = "Automata Studies",
 publisher    = "Princeton U.",
 pages        = "129--153",
)
@article(SimTestingStannett,
 author       = "Mike Stannett",
 year         = "2006",
 title        = "Simulation testing of automata",
 journal      = "Formal Aspects of Computing",
 volume       = "18",
 pages        = "31--41",
 note         = "10.1007/s00165-005-0080-y",
)