On the formalization of model driven software engineering. - Miguel Alfredo Garcia Gutierrez (2009)