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