Integer ambiguity resolution in GPS for spinning spacecrafts | IEEE Journals & Magazine | IEEE Xplore