Senem Velipasalar Chang Hong Lin Jason Schlessman Wayne Wolf Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems. 1421-1424 2006 conf/icmcs/2006 ICME http://doi.ieeecomputersociety.org/10.1109/ICME.2006.262806 db/conf/icmcs/icme2006.html#VelipasalarLSW06