Utility-based cross-layer scheduling design for OFDMA-based cognitive radio systems | IEEE Conference Publication | IEEE Xplore