Interference-Aware Demand-Based User Scheduling in Precoded High Throughput Satellite Systems | IEEE Journals & Magazine | IEEE Xplore