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