Formal Specification of Design Patterns and Their Instances | IEEE Conference Publication | IEEE Xplore