Network Research Simulator. An abstract model formulation | IEEE Conference Publication | IEEE Xplore