Towards the Mechanized Semantics and Refinement of UML Class Diagrams | IEEE Conference Publication | IEEE Xplore