Spectrum Occupancy and Residual Service Analysis in CRNs Using a Multi-Server Queueing Model | IEEE Conference Publication | IEEE Xplore