Gyapay, S., Schmidt, Á., and Varró, D.,
"Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time",
Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 137-147, 2004.