Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation | Publicación