A model-based Signal-In-Space interface specification to support the design of Galileo receivers | IEEE Conference Publication | IEEE Xplore