Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs | Publicación