Alessandro Aldini Marco Bernardo Roberto Gorrieri Marco Roccetti Comparing the QoS of Internet audio mechanisms via formal methods. 1-42 2001 11 ACM Trans. Model. Comput. Simul. 1 http://doi.acm.org/10.1145/379525.379526 db/journals/tomacs/tomacs11.html#AldiniBGR01