E. Zambon and A. Rensink, “Using Graph Transformations and Graph Abstractions for Software Verification”, eceasst, vol. 38, May 2011.