A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction | IEEE Conference Publication | IEEE Xplore