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