Variable-Based Analysis for Traceability in QVT-R Model Transformations. - Severino Feliciano Morales; Omar Martínez Grassi; Claudia Pons; Gabriel Baum (CIbSE, 2015)