Design Pattern Evolution and Verification Using Graph Transformation | IEEE Conference Publication | IEEE Xplore