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