Towards a precise definition of the OMG/MDA framework | IEEE Conference Publication | IEEE Xplore