Reachability Analysis on Timed Graph Transformation Systems. - Christian Heinzemann; Julian Suck; Tobias Eckardt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)