1. The essence of multilevel metamodeling;Atkinson,2001
2. Incremental detection of model inconsistencies based on model operations;Blanc,2009
3. Towards transformation of integrity constraints and database states;Büttner,2005
4. Verification of ATL transformations using transformation models and model finders;Büttner,2012
5. Verification and validation of declarative model-to-model transformations through invariants;Cabot;J. Syst. Softw.,2010