Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet
scientific article; zbMATH DE number 1309025