ANTARES System Design Options for Satellite-Based Air Traffic Management. - Alessandro Di Stefano; Stefano Buratti; Paolo Conforto (PSATS, 2011)