Automatic test and planning procedures for navigation and air traffic control satellites Bibliography