The article “Verification of Model Transformations: A Survey of the State-of-the-Art” by Daniel Calegari, Assistant Professor at the Institute of Computing in the School of Engineering at the University of the Republic, and Dr. Nora Szasz, Academic Coordinator of Systems Engineering, was published in March 2013 in the journal “Electronic Notes in Theoretical Computer Science.” The publication is edited by ACM Digital Library.