science.aist.gtf:gtf (maven): Graph Transformation Framework
Keywords: graph|model|transformation|verification