Validating BitTorrent models. - David Erman; Daniel Saavedra; José Á. Sánchez González; Adrian Popescu 002 (Telecommun. Syst., 2008)