Resource optimization for cognitive satellite systems with incumbent terrestrial receivers