Modelling the output process of an ATM multiplexer with correlated priorities | IEEE Conference Publication | IEEE Xplore