SystemC Model of an Interoperative GPS/Galileo Code Correlator Channel | IEEE Conference Publication | IEEE Xplore