Zambon, E.; Rensink, A. Using Graph Transformations and Graph Abstractions for Software Verification. eceasst 2011, 38.