@article(DBLP:journals/tcs/AbadiL91,
 author       = {Mart{\'{\i}}n Abadi and Leslie Lamport},
 year         = {1991},
 title        = {The Existence of Refinement Mappings},
 journal      = {Theor. Comput. Sci.},
 volume       = {82},
 number       = {2},
 doi          = {10.1016/0304-3975(91)90224-P},
)
@book(DBLP:books/daglib/0015096,
 author       = {Jean{-}Raymond Abrial},
 year         = {2005},
 title        = {The B-book - assigning programs to meanings},
 publisher    = {Cambridge University Press},
)
@book(DBLP:books/daglib/0024570,
 author       = {Jean{-}Raymond Abrial},
 year         = {2010},
 title        = {Modeling in Event-B - System and Software Engineering},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139195881},
)
@inproceedings(DBLP:conf/zum/AbrialCM05,
 author       = {Jean{-}Raymond Abrial and Dominique Cansell and Dominique M{\'{e}}ry},
 year         = {2005},
 title        = {Refinement and Reachability in Event${}_{\unhbox\voidb@x \hbox{B}}$},
 editor       = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider},
 booktitle    = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3455},
 publisher    = {Springer},
 pages        = {222--241},
 doi          = {10.1007/11415787_14},
)
@techreport(andre:inria-00280941,
 author       = {Charles Andr{\'e} and Fr{\'e}d{\'e}ric Mallet},
 year         = {2008},
 title        = {{Clock Constraints in UML/MARTE CCSL}},
 type         = {Research Report},
 number       = {RR-6540},
 institution  = {{INRIA}},
)
@inproceedings(DBLP:conf/rex/Back89,
 author       = {Ralph{-}Johan Back},
 year         = {1989},
 title        = {Refinement Calculus, Part {II:} Parallel and Reactive Programs},
 booktitle    = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, {REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
 pages        = {67--93},
 doi          = {10.1007/3-540-52559-9_61},
)
@inproceedings(DBLP:conf/rex/BackW89,
 author       = {Ralph{-}Johan Back and Joakim von Wright},
 year         = {1989},
 title        = {Refinement Calculus, Part {I:} Sequential Nondeterministic Programs},
 booktitle    = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, {REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
 pages        = {42--66},
 doi          = {10.1007/3-540-52559-9_60},
)
@book(DBLP:series/txtcs/BertotC04,
 author       = {Yves Bertot and Pierre Cast{\'{e}}ran},
 year         = {2004},
 title        = {Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions},
 series       = {Texts in Theoretical Computer Science. An {EATCS} Series},
 doi          = {10.1007/978-3-662-07964-5},
)
@inproceedings(DBLP:conf/lernet/BoveD08,
 author       = {Ana Bove and Peter Dybjer},
 year         = {2008},
 title        = {Dependent Types at Work},
 booktitle    = {Language Engineering and Rigorous Software Development, Intl. LerNet {ALFA} Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures},
 pages        = {57--99},
 doi          = {10.1007/978-3-642-03153-3\_2},
)
@article(DBLP:journals/tcs/Broy01,
 author       = {Manfred Broy},
 year         = {2001},
 title        = {Refinement of time},
 journal      = {Theor. Comput. Sci.},
 volume       = {253},
 number       = {1},
 pages        = {3--26},
 doi          = {10.1016/S0304-3975(00)00087-6},
)
@article(DBLP:journals/ijcs/BuckHLM94,
 author       = {Joseph T. Buck and Soonhoi Ha and Edward A. Lee and David G. Messerschmitt},
 year         = {1994},
 title        = {Ptolemy: {A} Framework for Simulating and Prototyping Heterogenous Systems},
 journal      = {Int. Journal in Computer Simulation},
 volume       = {4},
 number       = {2},
)
@article(DBLP:journals/computer/CombemaleDBFJG14,
 author       = {Beno{\^{\i}}t Combemale and Julien DeAntoni and Benoit Baudry and Robert B. France and Jean{-}Marc J{\'{e}}z{\'{e}}quel and Jeff Gray},
 year         = {2014},
 title        = {Globalizing Modeling Languages},
 journal      = {{IEEE} Computer},
 volume       = {47},
 number       = {6},
 doi          = {10.1109/MC.2014.147},
)
@inproceedings(DBLP:conf/sle/CombemaleDLMBBF13,
 author       = {Beno{\^{\i}}t Combemale and Julien DeAntoni and Matias Vara Larsen and Fr{\'{e}}d{\'{e}}ric Mallet and Olivier Barais and Benoit Baudry and Robert B. France},
 year         = {2013},
 title        = {Reifying Concurrency for Executable Metamodeling},
 booktitle    = {Software Language Engineering - 6th Intl. Conf., {SLE} 2013, Indianapolis, IN, USA, October 26-28, 2013. Proc.},
 doi          = {10.1007/978-3-319-02654-1_20},
)
@techreport(deantoni:hal-01082274,
 author       = {Julien Deantoni and Charles Andr{\'e} and R{\'e}gis Gascon},
 year         = {2014},
 title        = {{CCSL denotational semantics}},
 type         = {Research Report},
 number       = {RR-8628},
)
@inproceedings(DBLP:conf/date/DeAntoniDTCC15,
 author       = {Julien DeAntoni and Papa Issa Diallo and Ciprian Teodorov and Jo{\"{e}}l Champeau and Beno{\^{\i}}t Combemale},
 year         = {2015},
 title        = {Towards a meta-language for the concurrency concern in DSLs},
 booktitle    = {Proc. of the 2015 Design, Automation {\&} Test in Europe Conf. {\&} Exhibition, {DATE} 2015, Grenoble, France, March 9-13, 2015},
 doi          = {10.7873/DATE.2015.1052},
)
@inproceedings(deantoni:hal-00688590,
 author       = {Julien Deantoni and Fr{\'e}d{\'e}ric Mallet},
 year         = {2012},
 title        = {{TimeSquare: Treat your Models with Logical Time}},
 booktitle    = {{TOOLS - 50th Intl. Conf. on Objects, Models, Components, Patterns - 2012}},
 doi          = {10.1007/978-3-642-30561-0\_4},
)
@inproceedings(DBLP:conf/formats/GarnachoBF13,
 author       = {Manuel Garnacho and Jean{-}Paul Bodeveix and Filali{-}Amine, Mamoun},
 year         = {2013},
 title        = {A Mechanized Semantic Framework for Real-Time Systems},
 booktitle    = {Formal Modeling and Analysis of Timed Systems - 11th Intl. Conf., {FORMATS} 2013, Buenos Aires, Argentina, August 29-31, 2013. Proc.},
 doi          = {10.1007/978-3-642-40229-6\_8},
)
@article(DBLP:journals/ejes/GemundeBS13,
 author       = {Mike Gem{\"{u}}nde and Jens Brandt and Klaus Schneider},
 year         = {2013},
 title        = {Clock refinement in imperative synchronous languages},
 journal      = {{EURASIP} J. Emb. Sys.},
 volume       = {2013},
 doi          = {10.1186/1687-3963-2013-3},
)
@article(DBLP:journals/fmsd/HaleCH93,
 author       = {Roger Hale and Cardell{-}Oliver, Rachel and John Herbert},
 year         = {1993},
 title        = {An Embedding of Timed Transition Systems in {HOL}},
 journal      = {Formal Methods in System Design},
 volume       = {3},
 number       = {1/2},
 doi          = {10.1007/BF01383987},
)
@inproceedings(DBLP:conf/models/HardebolleB07,
 author       = {C{\'{e}}cile Hardebolle and Fr{\'{e}}d{\'{e}}ric Boulanger},
 year         = {2007},
 title        = {ModHel'X: {A} Component-Oriented Approach to Multi-Formalism Modeling},
 booktitle    = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers},
 doi          = {10.1007/978-3-540-69073-3_26},
)
@article(DBLP:journals/fac/He89,
 author       = {Jifeng He},
 year         = {1989},
 title        = {Process Simulation and Refinement},
 journal      = {Formal Asp. Comput.},
 volume       = {1},
 number       = {3},
 pages        = {229--241},
 doi          = {10.1007/BF01887207},
)
@article(DBLP:journals/scp/Hesselink11,
 author       = {Wim H. Hesselink},
 year         = {2011},
 title        = {Simulation refinement for concurrency verification},
 journal      = {Sci. Comput. Program.},
 volume       = {76},
 number       = {9},
 pages        = {739--755},
 doi          = {10.1016/j.scico.2009.09.006},
)
@article(DBLP:journals/cacm/Lamport78,
 author       = {Leslie Lamport},
 year         = {1978},
 title        = {Time, Clocks, and the Ordering of Events in a Distributed System},
 journal      = {Commun. {ACM}},
 volume       = {21},
 number       = {7},
 pages        = {558--565},
 doi          = {10.1145/359545.359563},
)
@inproceedings(DBLP:conf/models/LarsenDCM15,
 author       = {Matias Ezequiel Vara Larsen and Julien DeAntoni and Beno{\^{\i}}t Combemale and Fr{\'{e}}d{\'{e}}ric Mallet},
 year         = {2015},
 title        = {A Behavioral Coordination Operator Language (BCOoL)},
 booktitle    = {18th {ACM/IEEE} Intl. Conf. on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015},
 doi          = {10.1109/MODELS.2015.7338249},
)
@inproceedings(DBLP:conf/sle/LatombeCCDP15,
 author       = {Florent Latombe and Xavier Cr{\'{e}}gut and Beno{\^{\i}}t Combemale and Julien DeAntoni and Marc Pantel},
 year         = {2015},
 title        = {Weaving concurrency in executable domain-specific modeling languages},
 booktitle    = {Proc. of the 2015 {ACM} {SIGPLAN} Intl. Conf. on Software Language Engineering, {SLE} 2015, Pittsburgh, PA, USA, October 25-27, 2015},
)
@article(DBLP:journals/iandc/LynchV95,
 author       = {Nancy A. Lynch and Frits W. Vaandrager},
 year         = {1995},
 title        = {Forward and Backward Simulations: I. Untimed Systems},
 journal      = {Inf. Comput.},
 volume       = {121},
 number       = {2},
 pages        = {214--233},
 doi          = {10.1006/inco.1995.1134},
)
@article(DBLP:journals/iandc/LynchV96,
 author       = {Nancy A. Lynch and Frits W. Vaandrager},
 year         = {1996},
 title        = {Forward and Backward Simulations, {II:} Timing-Based Systems},
 journal      = {Inf. Comput.},
 volume       = {128},
 number       = {1},
 pages        = {1--25},
 doi          = {10.1006/inco.1996.0060},
)
@unpublished(ar4,
 author       = {Jan Malakhovski},
 title        = {Brutal [Meta]Introduction to Dependent Types in Agda},
)
@article(DBLP:journals/scp/MandelPP15,
 author       = {Louis Mandel and C{\'{e}}dric Pasteur and Marc Pouzet},
 year         = {2015},
 title        = {Time refinement in a functional synchronous language},
 journal      = {Sci. Comput. Program.},
 volume       = {111},
 doi          = {10.1016/j.scico.2015.07.002},
)
@unpublished(ar1,
 author       = {Martin-L\IeC{\"o}f, Per},
 year         = {1972},
 title        = {An Intuitionistic Theory of Types},
 url          = {http://archive-pml.github.io/martin-lof/pdfs/An-Intuitionistic-Theory-of-Types-1972.pdf},
)
@article(ar2,
 author       = {Martin-L\IeC{\"o}f, Per},
 year         = {1984},
 title        = {Intuitionistic type theory. Notes by Giovanni Sambin.},
 journal      = {Studies in Proof Theory},
 url          = {http://archive-pml.github.io/martin-lof/pdfs/Bibliopolis-Book-1984.pdf},
)
@inproceedings(MikacCaspi2005,
 author       = {Jan Mikac and Paul Caspi},
 year         = {2005},
 title        = {Temporal refinement for Lustre},
 booktitle    = {Proc. of the 5$^{th}$ Intl. Workshop on Synchronous Languages, Applications and Programs, Edimburg, April 2005},
)
@inproceedings(DBLP:conf/tldi/Norell09,
 author       = {Ulf Norell},
 year         = {2009},
 title        = {Dependently typed programming in Agda},
 booktitle    = {Proc. of TLDI'09: 2009 {ACM} {SIGPLAN} Intl. Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009},
 doi          = {10.1145/1481861.1481862},
)
@inproceedings(DBLP:conf/tacs/Paulin-Mohring01,
 author       = {Paulin{-}Mohring, Christine},
 year         = {2001},
 title        = {Modelisation of Timed Automata in Coq},
 booktitle    = {Theoretical Aspects of Computer Software, 4th Intl. Symp., {TACS} 2001, Sendai, Japan, October 29-31, 2001, Proc.},
 doi          = {10.1007/3-540-45500-0\_15},
)
@inproceedings(DBLP:conf/focs/Pnueli77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The Temporal Logic of Programs},
 booktitle    = {18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977},
 publisher    = {{IEEE} Computer Society},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@inproceedings(DBLP:conf/icfem/ReevesS03,
 author       = {Steve Reeves and David Streader},
 year         = {2003},
 title        = {Comparison of Data and Process Refinement},
 editor       = {Jin Song Dong and Jim Woodcock},
 booktitle    = {Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7, 2003, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2885},
 publisher    = {Springer},
 pages        = {266--285},
 doi          = {10.1007/978-3-540-39893-6_16},
)
@article(DBLP:journals/entcs/ReevesS08a,
 author       = {Steve Reeves and David Streader},
 year         = {2008},
 title        = {General Refinement, Part One: Interfaces, Determinism and Special Refinement},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {214},
 pages        = {277--307},
 doi          = {10.1016/j.entcs.2008.06.013},
)
@book(DBLP:books/cu/RoeverE1998,
 author       = {Willem P. de Roever and Kai Engelhardt},
 year         = {1998},
 title        = {Data Refinement: Model-oriented Proof Theories and their Comparison},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {46},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511663079},
)
@article(DBLP:journals/fuin/TalpinGSDG04,
 author       = {Jean{-}Pierre Talpin and Paul Le Guernic and Sandeep K. Shukla and Frederic Doucet and Rajesh K. Gupta},
 year         = {2004},
 title        = {Formal Refinement Checking in a System-level Design Methodology},
 journal      = {Fundam. Inform.},
 volume       = {62},
 number       = {2},
 pages        = {243--273},
)
@inproceedings(DBLP:conf/ac/Winskel86,
 author       = {Glynn Winskel},
 year         = {1986},
 title        = {Event Structures},
 booktitle    = {Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proc. of an Advanced Course, Bad Honnef, 8.-19. September 1986},
 doi          = {10.1007/3-540-17906-2_31},
)