El artículo “Verification of Model Transformations: A Survey of the State-of-the-Art)” del Dr. Daniel Calegari, Profesor Adjunto del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República, y la Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas de la Facultad de Ingeniería de la Universidad ORT Uruguay, fue aceptado en julio de 2012 para su publicación en Electronic Notes in Theoretical Computer Science (ENTCS).