Mobility as a first class function | IEEE Conference Publication | IEEE Xplore