The Design and Application of a GPS Integrity Model