Transmission Strategy Design in Cognitive Radio Systems With Primary ARQ Control and QoS Provisioning