Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto  Heuristic Search for the Analysis of Graph Transition Systems.   In:  Graph Transformations (ICGT 2006).   Lecture Notes in Computer Science, 4178 .  Springer, pp. 414-429.  ISBN 3-540-38870-2      (2006)