@InCollection{Aleman:2001:inSADDI, author = "Jose Luis Fernandez Aleman and Ambrosio Toval Alvarez", title = "Seamless Formalizing the {UML} Semantics Through Metamodels", booktitle = "Unified Modeling Language: Systems Analysis, Design and Development Issues", publisher = "Idea Publishing Group", year = "2001", editor = "Keng Siau and Terry Halpin", chapter = "14", pages = "224--248", isbn = "i-930708-05-X", }