@inproceedings(Amstel2010_slco,
 author       = "M. van Amstel and M. van den Brand and L. Engelen",
 year         = "2010",
 title        = "{A}n {E}xercise in {I}terative {D}omain-{S}pecific {L}anguage {D}esign",
 booktitle    = "Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)",
 publisher    = "ACM",
 address      = "Antwerp, Belgium",
 pages        = "48--57",
 doi          = "10.1145/1862372.1862386",
)
@inproceedings(Amstel2008,
 author       = "M.F. van Amstel and M.G.J. van den Brand and Z. Proti\'{c} and T. Verhoeff",
 year         = "2008",
 title        = "{T}ransforming {P}rocess {A}lgebra {M}odels into {UML} {S}tate {M}achines: {B}ridging a {S}emantic {G}ap?",
 booktitle    = "Proceedings of the First International Conference on Model Transformation (ICMT'08)",
 series       = "LNCS",
 volume       = "5063",
 publisher    = "Springer",
 address      = "Z\"{u}rich, Switserland",
 pages        = "61--75",
 doi          = "10.1007/978-3-540-69927-9",
)
@manual(Baum2003,
 author       = "D. Baum",
 year         = "2003",
 title        = "{NQC} {P}rogrammer's {G}uide",
)
@inbook(AlgebraicSpecification1989,
 author       = "J. A. Bergstra",
 year         = "1989",
 title        = "Algebraic Specification",
 chapter      = "1",
 pages        = "1--66",
 publisher    = "ACM",
)
@article(Brand:2007:AME:1219180.1219600,
 author       = "M.G.J. van den Brand and P. Klint",
 year         = "2007",
 title        = "ATerms for manipulation and exchange of structured data: It's all about sharing",
 journal      = "Information and Software Technology",
 volume       = "49",
 pages        = "55--64",
 doi          = "10.1016/j.infsof.2006.08.009",
)
@inproceedings(Brand:2001:ASF,
 author       = "M. van den {Brand et al.}",
 year         = "2001",
 title        = "The {ASF+SDF} {M}eta-{E}nvironment: a {C}omponent-{B}ased {L}anguage {D}evelopment {E}nvironment",
 booktitle    = "Proceedings of Compiler Construction 2001 (CC 2001)",
 series       = "LNCS",
 volume       = "2027",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "365--370",
 doi          = "10.1007/3-540-45306-7\_26",
)
@article(Deursen2000,
 author       = "A. van Deursen and P. Klint and J. Visser",
 year         = "2000",
 title        = "{D}omain-{S}pecific {L}anguages: {A}n {A}nnotated {B}ibliography",
 journal      = "SIGPLAN Notices",
 volume       = "35",
 number       = "6",
 pages        = "26--36",
 doi          = "10.1145/352029.352035",
)
@techreport(Ruscio06apractical,
 author       = "D. {Di Ruscio et al.}",
 year         = "2006",
 title        = "A Practical Experiment to Give Dynamic Semantics to a DSL for Telephony Services Development",
 type         = "Technical Report",
 institution  = "Laboratoire d'Informatique de Nantes-Atlantique (LINA)",
 doi          = "10.1.1.101.6120",
)
@inproceedings(wrla2002:mmc,
 author       = "S. Eker and J. Meseguer and A. Sridharanarayanan",
 year         = "2002",
 title        = "The Maude {LTL} Model Checker",
 booktitle    = "Proceedings of the 4th International Workshop on Rewriting Logic and Its Applications (WRLA 2002)",
 series       = "ENTCS",
 volume       = "71",
 publisher    = "Elsevier",
 address      = "Amsterdam",
 doi          = "10.1016/S1571-0661(05)82534-4",
)
@inproceedings(Ellson01graphviz—,
 author       = "J. {Ellson et al.}",
 year         = "2002",
 title        = "Graphviz — Open Source Graph Drawing Tools",
 booktitle    = "International Symposium on Graph Drawing",
 series       = "LNCS",
 volume       = "2265",
 publisher    = "Springer-Verlag",
 pages        = "594--597",
 doi          = "10.1007/3-540-45848-4\_57",
)
@inproceedings(DBLP:conf/tacas/GaravelLMS11,
 author       = "H. Garavel and F. Lang and R. Mateescu and W. Serwe",
 year         = "2011",
 title        = "CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes",
 booktitle    = "TACAS",
 series       = "LNCS",
 volume       = "6605",
 publisher    = "Springer",
 pages        = "372--387",
 doi          = "10.1007/978-3-642-19835-9\_33",
)
@article(GW96,
 author       = "R.J. van Glabbeek and P. Weijland",
 year         = "1996",
 title        = "Branching time and abstraction in bisimulation semantics",
 journal      = "Journal of the ACM",
 volume       = "43",
 pages        = "555--600",
 doi          = "10.1145/233551.233556",
)
@inproceedings(DBLP:conf/dagstuhl/GrooteMRUW06,
 author       = "J.F. {Groote et al.}",
 year         = "2006",
 title        = "The Formal Specification Language mCRL2",
 booktitle    = "MMOSS",
 series       = "Dagstuhl Seminar Proceedings",
 volume       = "06351",
 url          = "http://drops.dagstuhl.de/opus/volltexte/2007/862",
)
@article(DBLP:journals/tse/Holzmann97,
 author       = "G.J. Holzmann",
 year         = "1997",
 title        = "The Model Checker SPIN",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "23",
 number       = "5",
 pages        = "279--295",
 doi          = "10.1109/32.588521",
)
@article(Hooman2006,
 author       = "J. Hooman and M.B. van der Zwaag",
 year         = "2006",
 title        = "{A} Semantics of Communicating Reactive Objects with Timing",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "8",
 number       = "2",
 pages        = "97--112",
 doi          = "10.1007/s10009-005-0207-8",
)
@unpublished(SLCOgooglecode,
 author       = "Prototyping {SLCO} {S}emantics {P}roject",
 note         = "\url {http://code.google.com/p/prototyping-slco-semantics/}",
)
@article(Rivera:2009:FSA:1631662.1631666,
 author       = "J.E. Rivera and F. Dur\'{a}n and A. Vallecillo",
 year         = "2009",
 title        = "Formal Specification and Analysis of Domain Specific Models Using Maude",
 journal      = "Simulation",
 volume       = "85",
 pages        = "778--792",
 doi          = "10.1177/0037549709341635",
)
@article(Rusu:2011:EDM:1921532.1921557,
 author       = "V. Rusu",
 year         = "2011",
 title        = "Embedding Domain-Specific Modelling Languages in {M}aude Specifications",
 journal      = "SIGSOFT Softw. Eng. Notes",
 volume       = "36",
 pages        = "1--8",
 doi          = "10.1145/1921532.1921557",
)
@inproceedings(Sadilek:2008:PVI:1426334.1426341,
 author       = "D.A. Sadilek and G. Wachsmuth",
 year         = "2008",
 title        = "Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages",
 booktitle    = "Proceedings of European conference on Model Driven Architecture: Foundations and Applications",
 series       = "LNCS",
 volume       = "5095",
 publisher    = "Springer-Verlag",
 pages        = "63--78",
 doi          = "10.1007/978-3-540-69100-6\_5",
)
@article(Schmidt2006,
 author       = "D. C. Schmidt",
 year         = "2006",
 title        = "Model-Driven Engineering",
 journal      = "Computer",
 volume       = "39",
 number       = "2",
 pages        = "25--31",
 doi          = "10.1109/MC.2006.58",
)
@inproceedings(Theelen2007,
 author       = "B.D. {Theelen et al.}",
 year         = "2007",
 title        = "{S}oftware/{H}ardware {E}ngineering with the {P}arallel {O}bject-{O}riented {S}pecification {L}anguage",
 booktitle    = "Proceedings of IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE'07)",
 publisher    = "IEEE",
 address      = "Nice, France",
 pages        = "139--148",
 doi          = "10.1109/MEMCOD.2007.371231",
)
@phdthesis(Visser97syntaxdefinition,
 author       = "E. Visser",
 year         = "1997",
 title        = "Syntax Definition for Language Prototyping",
 school       = "University of Amsterdam",
)
@article(Wang:2005:9MC:1705545.1705992,
 author       = "B.-Y. Wang",
 year         = "2005",
 title        = "$\mu $-Calculus Model Checking in Maude",
 journal      = "ENTCS",
 volume       = "117",
 pages        = "135--152",
 doi          = "10.1016/j.entcs.2004.06.025",
)