A. Ghamarian, A. Jalali, and A. Rensink, “Incremental Pattern Matching in Graph-Based State Space Exploration”, eceasst, vol. 32, Apr. 2011.