A Queueing Theoretic Analysis of Source IP NAT | IEEE Conference Publication | IEEE Xplore