1. Baldan, P., Konig, B., 2002. Approximating the behavior of graph transformation systems. LNCS, 2505:14–29. [doi:10.1007/3-540-45832-8]
2. Baldan, P., Corradini, A., König, B., 2004a. Verifying finitestate graph grammars: an unfolding-based approach. LNCS, 3170:83–98.
3. Baldan, P., Corradini, A., Gadducci, F., 2004b. Specifying and verifying UML activity diagrams via graph transformation. LNCS, 3267:18–33. [doi:10.1007/b103251]
4. Baresi, L., Heckel, R., 2002. Tutorial introduction to graph transformation: a software engineering perspective. LNCS, 2505:402–429. [doi:10.1007/b100934]
5. Baresi, L., Spoletini, P., 2006. On the use of Alloy to analyze graph transformation systems. LNCS, 4178:306–320. [doi:10.1007/11841883_22]