Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints | IEEE Conference Publication | IEEE Xplore