@inproceedings(ABE11,
 author       = {S. Andova and M.G.J. van den Brand and L. Engelen},
 year         = {2011},
 title        = {Prototyping the Semantics of a {DSL} using {ASF}+{SDF}: Link to Formal Verification of {DSL} Models},
 booktitle    = {Proceedings of {AMMSE'11}},
 series       = {EPTCS},
 volume       = {56},
 pages        = {65--79},
 doi          = {10.4204/EPTCS.56.5},
)
@article(A87,
 author       = {D. Angluin},
 year         = {1987},
 title        = {Learning regular sets from queries and counterexamples},
 journal      = {Information and computation},
 volume       = {75},
 number       = {2},
 pages        = {87--106},
 doi          = {10.1016/0890-5401(87)90052-6},
)
@misc(Axini,
 author       = {Axini},
 title        = {{\tt http://www.axini.nl}},
)
@article(BHRRS08,
 author       = {D.A. van Beek and A.T. Hofkamp and M.A. Reniers and J.E. Rooda and R.R.H. Schiffelers},
 year         = {2008},
 title        = {Syntax and formal semantics of Chi 2.0},
 journal      = {Eindhoven University of Technology, Technical Report},
)
@article(BK84,
 author       = {J.A. Bergstra and J.W. Klop},
 year         = {1984},
 title        = {Process algebra for synchronous communication},
 journal      = {Information and control},
 volume       = {60},
 number       = {1},
 pages        = {109--137},
 doi          = {10.1016/S0019-9958(84)80025-X},
)
@inproceedings(BFLM05,
 author       = {J.P. Bodeveix and M. Filali and J. Lawall and G. Muller},
 year         = {2005},
 title        = {Formal methods meet domain specific languages},
 booktitle    = {Proceedings of {IFM'05}},
 organization = {Springer},
 pages        = {187--206},
 doi          = {10.1007/11589976\_12},
)
@article(BG13,
 author       = {M.G.J. van den Brand and J.F. Groote},
 year         = {2013},
 title        = {Software Engineering: Redundancy is Key},
 journal      = {Science of Computer Programming},
 volume       = {97},
 pages        = {75--81},
 doi          = {10.1016/j.scico.2013.11.020},
)
@article(DKV00,
 author       = {A. van Deursen and P. Klint and J. Visser},
 year         = {2000},
 title        = {{Domain-Specific Languages}: an annotated bibliography},
 journal      = {SIGPLAN Notices},
 volume       = {35},
 number       = {6},
 pages        = {26--36},
 doi          = {10.1145/352029.352035},
)
@inproceedings(EE08,
 author       = {H. Ehrig and C. Ermel},
 year         = {2008},
 title        = {Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation},
 booktitle    = {Proceedings of ICGT'08},
 series       = {LNCS},
 volume       = {5214},
 publisher    = {Springer-Verlag},
 pages        = {194--210},
 doi          = {10.1007/978-3-540-87405-8\_14},
)
@phdthesis(S12,
 author       = {Stappers F.P.M.},
 year         = {2012},
 title        = {Bridging Formal Models: An Engineering Perspective},
 school       = {Eindhoven University of Techonology},
)
@book(GM14,
 author       = {J.F. Groote and M.R. Mousavi},
 year         = {2014},
 title        = {Modeling and Analysis of Communicating Systems},
 publisher    = {MIT press},
)
@article(KM16,
 author       = {S. Keshishzadeh and A.J. Mooij},
 year         = {2016},
 title        = {Formalizing and Testing the Consistency of DSL Transformations},
 journal      = {Formal Aspects of Computing (in press)},
 doi          = {10.1007/s00165-016-0359-1},
)
@article(KMH15,
 author       = {S. Keshishzadeh and A.J. Mooij and J. Hooman},
 year         = {2015},
 title        = {Industrial Experiences with a Formal {DSL} Semantics to Check Correctness of {DSL} Transformations},
 journal      = {\href{http://arxiv.org/abs/1511.08049}{arXiv preprint:1511.08049}},
)
@article(L09,
 author       = {X. Leroy},
 year         = {2009},
 title        = {Formal verification of a realistic compiler},
 journal      = {Communications of the ACM},
 volume       = {52},
 number       = {7},
 pages        = {107--115},
 doi          = {10.1145/1538788.1538814},
)
@misc(mCRL2,
 author       = {mCRL2},
 title        = {{\tt http://mcrl2.org}},
)
@inproceedings(MHA13,
 author       = {A.J. Mooij and J. Hooman and R. Albers},
 year         = {2013},
 title        = {Gaining Industrial Confidence for the Introduction of {Domain-Specific Languages}},
 booktitle    = {Proceedings of IEESD'13},
 publisher    = {IEEE},
 pages        = {662--667},
 doi          = {10.1109/COMPSACW.2013.83},
)
@misc(POOSL,
 author       = {POOSL},
 title        = {{\tt http://poosl.esi.nl}},
)
@article(SBSM14,
 author       = {M. Sijtema and A. Belinfante and M.I.A. Stoelinga and L. Marinelli},
 year         = {2014},
 title        = {Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at {Neopost}},
 journal      = {Science of computer programming},
 volume       = {80},
 pages        = {188--209},
 doi          = {10.1016/j.scico.2013.04.009},
)
@inproceedings(TFGHPV07,
 author       = {B.D. Theelen and O. Florescu and M.C.W. Geilen and J. Huang and P.H.A. van der Putten and J.P.M. Voeten},
 year         = {2007},
 title        = {Software/Hardware Engineering with the Parallel Object-Oriented Specification Language},
 booktitle    = {Proceedings of MEMOCODE'07},
 publisher    = {IEEE},
 pages        = {139--148},
 doi          = {10.1109/MEMCOD.2007.371231},
)
@incollection(T08,
 author       = {J. Tretmans},
 year         = {2008},
 title        = {Model based testing with {Labelled Transition Systems}},
 booktitle    = {Formal methods and testing},
 series       = {LNCS},
 volume       = {4949},
 publisher    = {Springer},
 pages        = {1--38},
 doi          = {10.1007/978-3-540-78917-8\_1},
)
@incollection(VLHW13,
 author       = {J. Verriet and H.L. Liang and R. Hamberg and B. van Wijngaarden},
 year         = {2013},
 title        = {Model-driven development of logistic systems using domain-specific tooling},
 booktitle    = {Proceedings of CSD\&M},
 publisher    = {Springer},
 pages        = {165--176},
 doi          = {10.1007/978-3-642-34404-6\_11},
)