Overview of MDELab Tool Framework for the Development of Correct Model Transformation with Triple Graph Grammars

We will be presenting a paper on the 1st Workshop on the Analysis of Model Transformations, which introduces our framework for the development of correct model transformations with triple graph grammars. An intermediate version of the paper can be downloaded, the final version will be published by the workshop organizers.