Toward a Formalization of UML2.0 Metamodel using Z Specifications. - Ahmed M. Mostafa; Manal Ahmed Ismail; Hatem El-Bolok; E. M. Saad (SNPD (1), 2007)