Ghamarian, AmirHossein, Arash Jalali, and Arend Rensink. 2011. “Incremental Pattern Matching in Graph-Based State Space Exploration”. Electronic Communications of the EASST 32 (April). https://doi.org/10.14279/tuj.eceasst.32.520.