GNSS augmentation and regional positioning systems over Turksat communication satellites | IEEE Conference Publication | IEEE Xplore