Blume, C. Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems. eceasst 2011, 38.