Implementing QVT-R bidirectional model transformations using Alloy Artigo de Conferência Capítulo de livro