Towards a formalization of UML class structures in Z | IEEE Conference Publication | IEEE Xplore