Engineer's Guide to GPS (Mobile Communications Library)