@article{kosiol2022sustaining,
title={Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations},
author={Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
journal={SCP'22: Science of Computer Programming},
volume={214},
pages={102729--1},
year={2022},
publisher={Elsevier},
url-Paper= {https://kclpure.kcl.ac.uk/portal/files/160728319/main_journal.pdf},
keywords = {Model-Driven Engineering}
}