A formal approach to mobility modeling | IEEE Conference Publication | IEEE Xplore