Liliana Favre, Liliana Martinez. Formalizing MDA Components. In Maurizio Morisio, editor, Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings. Volume 4039 of Lecture Notes in Computer Science, pages 326-339, Springer, 2006. [doi]