Galileo Test User Segment design and performances related to aeronautical safety of life applications | IEEE Conference Publication | IEEE Xplore