Ábel Hegedüs, Ákos Horváth, and D. Varró, “Towards Guided Trajectory Exploration of Graph Transformation Systems”, eceasst, vol. 40, May 2011.