@proceedings{arcelli_2019_3482925, title = {{A metamodel for the specification and verification of model refactoring actions}}, year = 2019, publisher = {Zenodo}, month = oct, doi = {10.1145/3242163.3242167}, url = {https://doi.org/10.1145/3242163.3242167} }