Declarative Specification of Bidirectional Transformations Using Design Patterns | IEEE Journals & Magazine | IEEE Xplore