Modeling BitTorrent-Based P2P Video Streaming Systems in the Presence of NAT Devices | IEEE Conference Publication | IEEE Xplore