Lightweight Executability Analysis of Graph Transformation Rules | Publicación