On the Formalization of Model-Driven Software Engineering Garcia, Miguel 2009 - Forschungsinformationssystem der UHH - frei zugänglich