Using ATL to Receive Model Transformation in MDA | IEEE Conference Publication | IEEE Xplore