Heinzemann, Christian, Julian Suck, and Tobias Eckardt. 2011. “Reachability Analysis on Timed Graph Transformation Systems”. Electronic Communications of the EASST 32 (February). https://doi.org/10.14279/tuj.eceasst.32.502.