El artículo “Verification of Model Transformations: A Survey of the State-of-the-Art” del Ing. 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, fue publicado en marzo de 2013 en la revista “Electronic Notes in Theoretical Computer Science”. La publicación es editada por ACM Digital Library.