Precise Modeling of Design Patterns