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