Error analysis for a satellite based air traffic control system