Ghamarian, A.; Jalali, A.; Rensink, A. Incremental Pattern Matching in Graph-Based State Space Exploration. eceasst 2011, 32.