Verifying metamodel coverage of model transformations | IEEE Conference Publication | IEEE Xplore