PINDOC: Pedestrian Indoor Navigation System Integrating Deterministic, Opportunistic, and Cooperative Functionalities | IEEE Journals & Magazine | IEEE Xplore