Real-time GPS receiver based on a radiation tolerant microprocessor | IEEE Conference Publication | IEEE Xplore