An Integrated HAP-Satellite Communications System for DVB-RCS Service Provisioning