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