Checking Bisimilarity for Attributed Graph Transformation | Publicación