Title: Functional Description of Signal Processing in the Rogue GPS Receiver