@book(BaetenBastenReniers:ProcessAlgebra10,
 author       = "J.~C.~M. Baeten and T.~Basten and M.~A. Reniers",
 year         = "2009",
 title        = "{Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science)}",
 edition      = "1st",
 publisher    = "Cambridge University Press",
)
@techreport(Baeten7:MultiformCIF2D112Tech10,
 author       = "J.C.M. Baeten and D.A. van Beek and D.~Hendriks and A.T. Hofkamp and D.E.~Nadales Agut and J.E. Rooda and R.R.H. Schiffelers",
 year         = "2010",
 title        = "Definition of the Compositional Interchange Format",
 type         = "Technical Report",
 number       = "Deliverable D1.1.2",
 institution  = "Multiform",
 url          = "www.multiform.bci.tu-dortmund.de/images/stories/multiform/deliverables/multiform_d112.pdf",
)
@article(BeoharNadales:hCIF10,
 author       = "Harsh Beohar and Damian~E. {Nadales Agut} and Dirk~A. van Beek and Pieter J.~L. Cuijpers",
 year         = "2010",
 title        = "Hierarchical states in the Compositional Interchange Format",
 journal      = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "32",
 pages        = "42--56",
 doi          = "10.4204/EPTCS.32.4",
)
@article(BrandReniCuij:LinHybProcJLAP06,
 author       = "P.~van~de Brand and M.~A. Reniers and P.~J.~L. Cuijpers",
 year         = "2006",
 title        = "Linearization of Hybrid Processes",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "68",
 number       = "1--2",
 pages        = "54--104",
 doi          = "10.1016/j.jlap.2005.10.003",
)
@misc(C4C:C4CMisc08,
 author       = "{C4C consortium}",
 year         = "2008",
 title        = "Control for Coordination of Distributed Systems",
 howpublished = "\url {http://www.c4c-project.eu/}",
)
@inproceedings(CuijpersReniers:LostInTranslation08,
 author       = "P.J.L. Cuijpers and M.A. Reniers",
 year         = "2008",
 title        = "Lost in Translation: Hybrid-Time Flows vs Real-Time Transitions",
 booktitle    = "HSCC 2008",
 series       = "Lecture Notes in Computer Science",
 volume       = "4981",
 publisher    = "Springer",
 pages        = "116--129",
 doi          = "10.1007/978-3-540-78929-1\_9",
)
@inproceedings(Hennessy:SymbolicBisimulations1995,
 author       = "M.~Hennessy and H.~Lin",
 year         = "1995",
 title        = "Symbolic bisimulations",
 booktitle    = "Selected papers of the meeting on Mathematical foundations of programming semantics",
 publisher    = "Elsevier Science Publishers B. V.",
 address      = "Amsterdam, The Netherlands, The Netherlands",
 pages        = "353--389",
 doi          = "10.1016/0304-3975(94)00172-F",
 url          = "http://portal.acm.org/citation.cfm?id=202463.202370",
)
@misc(HYCONII11,
 author       = "{HYCON 2 consortium}",
 year         = "2010",
 title        = "Highly-complex and networked control systems",
 howpublished = "\url {http://www.hycon2.eu/}",
)
@misc(HYCONNoE:HYCONMisc05,
 author       = "{HYCON Network of Excellence}",
 year         = "2005",
 title        = "Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems",
 howpublished = "\url {http://www.ist-hycon.org/}",
)
@techreport(Khadim3:LinHChiPCTech07,
 author       = "U.~Khadim and D.~A.~van Beek and P.~J.~L. Cuijpers",
 year         = "2007",
 title        = "Linearization of Hybrid {Chi} Using Program Counters",
 type         = "Technical Report",
 number       = "CS-Report 07-18",
 institution  = "Eindhoven University of Technology, Department of Computer Science",
 address      = "The Netherlands",
)
@article(MousaviRenGro:CongrSOSdataArtInfComp05,
 author       = "M.~R. Mousavi and M.~A. Reniers and J.~F. Groote",
 year         = "2005",
 title        = "Notions of bisimulation and congruence formats for {SOS} with data",
 journal      = "Information and Computation",
 volume       = "200",
 number       = "1",
 pages        = "107--147",
 doi          = "10.1016/j.ic.2005.03.002",
)
@misc(MULTIFORM:MULTIFORMMisc08,
 author       = "{MULTIFORM consortium}",
 year         = "2008",
 title        = "Integrated Multi-formalism Tool Support for the Design of networked Embedded Control Systems {MULTIFORM}",
 howpublished = "\url {http://www.multiform.bci.tu-dortmund.de}",
)
@unpublished(NadalesReniers:DerivingSimulator11,
 author       = "D.~E. {Nadales Agut} and M.~A. Reniers",
 year         = "2011",
 title        = "Deriving a Simulator for a Hybrid Language Using SOS Rules",
 note         = "\url {http://se.wtb.tue.nl/sewiki/cif/publications2}",
)
@article(PlotkinSOSArtJLAP04,
 author       = "Gordon~D. Plotkin",
 year         = "2004",
 title        = "A structural approach to operational semantics",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "60-61",
 pages        = "17--139",
 doi          = "10.1016/j.jlap.2004.05.001",
)
@phdthesis(Usenko:LinearizationMuCRLPhD02,
 author       = "Yaroslav~S. Usenko",
 year         = "2002",
 title        = "Linearization in $\mu ${CRL}",
 school       = "Eindhoven University of Technology",
)