A Graph Transformation Based Approach for Modeling Component-Level Migration in Mobile Environments | IEEE Conference Publication | IEEE Xplore