Two-Tier HetNets with Cognitive Femtocells: Downlink Performance Modeling and Analysis in a Multichannel Environment | IEEE Journals & Magazine | IEEE Xplore