Verifying specifications with associated attributes in graph transformation systems