Capacity Dimensioning for Air Traffic Management (ATM) Services in a Spot Beam Satellite System | IEEE Conference Publication | IEEE Xplore