Pseudo-range navigation with clock offset and propagation speed estimation | IEEE Conference Publication | IEEE Xplore