CheckVML: A Tool for Model Checking Visual Modeling Languages. - Ákos Schmidt; Dániel Varró (UML, 2003)

Model Checking Graph Transformations: A Comparison of Two Approaches. - Arend Rensink; Ákos Schmidt; Dániel Varró (ICGT, 2004)

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. - Szilvia Gyapay; Ákos Schmidt; Dániel Varró (GT-VMT@ETAPS, 2004)