Optimizing the decision rule of a GPS integrity monitoring system for improved availability