A. Jalali, A. Rensink, and A. H. Ghamarian, “Incremental Pattern Matching for Regular Expressions”, ECEASST, vol. 47, Jul. 2012.