Formalizing UML class diagrams-a hierarchical predicate transition net approach | IEEE Conference Publication | IEEE Xplore