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