A technique based on the OMG metamodel and OCL for the definition of object-oriented metrics applied to UML models | IEEE Conference Publication | IEEE Xplore