@Article{Kosiol+21, author = {Jens Kosiol and Daniel Str{\"u}ber and Gabriele Taentzer and Steffen Zschaler}, title = {Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations}, journal = {Science of Computer Programming}, volume = 214, year = 2021, }