Case Study: The Global Positioning System