Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff. Applying Model Transformation and Event-B for Specifying an Industrial DSL. In Frédéric Boulanger, Michalis Famelis, Daniel Ratiu, editors, Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, October 1st, 2013. Volume 1069 of CEUR Workshop Proceedings, pages 41-50, CEUR-WS.org, 2013. [doi]
Abstract is missing.