Modeling virtualized downlink cellular networks with ultra-dense small cells | IEEE Conference Publication | IEEE Xplore