Cunha A, Macedo N.? 2013.??Implementing QVT-R Bidirectional Model Transformations Using Alloy. 16th International Conference on Fundamental Approaches to Software Engineering - FASE. 7793:297?311.