Heinzemann, C., Suck, J. and Eckardt, T. (2011) “Reachability Analysis on Timed Graph Transformation Systems”, Electronic Communications of the EASST, 32. doi: 10.14279/tuj.eceasst.32.502.