Fundamentals of global positioning system receivers a software approach - Tsui, James Bao-Yen (Wiley, 2000)