Applying Model Transformation and Event-B for Specifying an Industrial DSL.

Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff

Browse the full MODELS paper archive.