Translating Fusion/UML to Object-Z | IEEE Conference Publication | IEEE Xplore