Probabilistic human mobility model in indoor environment | IEEE Conference Publication | IEEE Xplore