Mobility modeling and traffic analysis in three-dimensional high-rise building environments | IEEE Journals & Magazine | IEEE Xplore