M. van Amstel, M. van den Brand & L. Engelen (2010):
An Exercise in Iterative Domain-Specific Language Design.
In: Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE).
ACM,
Antwerp, Belgium,
pp. 48–57,
doi:10.1145/1862372.1862386.
M.F. van Amstel, M.G.J. van den Brand, Z. Proti\'c & T. Verhoeff (2008):
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.
In: Proceedings of the First International Conference on Model Transformation (ICMT'08),
LNCS 5063.
Springer,
Zürich, Switserland,
pp. 61–75,
doi:10.1007/978-3-540-69927-9.
D. Baum (2003):
NQC Programmer's Guide.
J. A. Bergstra (1989):
Algebraic Specification, chapter 1,
pp. 1–66.
ACM.
M.G.J. van den Brand & P. Klint (2007):
ATerms for manipulation and exchange of structured data: It's all about sharing.
Information and Software Technology 49,
pp. 55–64,
doi:10.1016/j.infsof.2006.08.009.
M. van den Brand et al. (2001):
The ASF+SDF Meta-Environment: a Component-Based Language Development Environment.
In: Proceedings of Compiler Construction 2001 (CC 2001),
LNCS 2027.
Springer-Verlag,
London, UK,
pp. 365–370,
doi:10.1007/3-540-45306-7_26.
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.
D. Di Ruscio et al. (2006):
A Practical Experiment to Give Dynamic Semantics to a DSL for Telephony Services Development.
Technical Report.
Laboratoire d'Informatique de Nantes-Atlantique (LINA),
doi:10.1.1.101.6120.
S. Eker, J. Meseguer & A. Sridharanarayanan (2002):
The Maude LTL Model Checker.
In: Proceedings of the 4th International Workshop on Rewriting Logic and Its Applications (WRLA 2002),
ENTCS 71.
Elsevier,
Amsterdam,
doi:10.1016/S1571-0661(05)82534-4.
J. Ellson et al. (2002):
Graphviz — Open Source Graph Drawing Tools.
In: International Symposium on Graph Drawing,
LNCS 2265.
Springer-Verlag,
pp. 594–597,
doi:10.1007/3-540-45848-4_57.
H. Garavel, F. Lang, R. Mateescu & W. Serwe (2011):
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.
In: TACAS,
LNCS 6605.
Springer,
pp. 372–387,
doi:10.1007/978-3-642-19835-9_33.
R.J. van Glabbeek & P. Weijland (1996):
Branching time and abstraction in bisimulation semantics.
Journal of the ACM 43,
pp. 555–600,
doi:10.1145/233551.233556.
G.J. Holzmann (1997):
The Model Checker SPIN.
IEEE Transactions on Software Engineering 23(5),
pp. 279–295,
doi:10.1109/32.588521.
J. Hooman & M.B. van der Zwaag (2006):
A Semantics of Communicating Reactive Objects with Timing.
International Journal on Software Tools for Technology Transfer (STTT) 8(2),
pp. 97–112,
doi:10.1007/s10009-005-0207-8.
J.E. Rivera, F. Durán & A. Vallecillo (2009):
Formal Specification and Analysis of Domain Specific Models Using Maude.
Simulation 85,
pp. 778–792,
doi:10.1177/0037549709341635.
V. Rusu (2011):
Embedding Domain-Specific Modelling Languages in Maude Specifications.
SIGSOFT Softw. Eng. Notes 36,
pp. 1–8,
doi:10.1145/1921532.1921557.
D.A. Sadilek & G. Wachsmuth (2008):
Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages.
In: Proceedings of European conference on Model Driven Architecture: Foundations and Applications,
LNCS 5095.
Springer-Verlag,
pp. 63–78,
doi:10.1007/978-3-540-69100-6_5.
D. C. Schmidt (2006):
Model-Driven Engineering.
Computer 39(2),
pp. 25–31,
doi:10.1109/MC.2006.58.
B.D. Theelen et al. (2007):
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language.
In: Proceedings of IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE'07).
IEEE,
Nice, France,
pp. 139–148,
doi:10.1109/MEMCOD.2007.371231.
E. Visser (1997):
Syntax Definition for Language Prototyping.
University of Amsterdam.
B.-Y. Wang (2005):
μ-Calculus Model Checking in Maude.
ENTCS 117,
pp. 135–152,
doi:10.1016/j.entcs.2004.06.025.