Heinzemann, C.; Suck, J.; Eckardt, T. Reachability Analysis on Timed Graph Transformation Systems. eceasst 2011, 32.