C. Heinzemann, J. Suck, and T. Eckardt, “Reachability Analysis on Timed Graph Transformation Systems”, eceasst, vol. 32, Feb. 2011.