Accurate evaluation of the output traffic characteristics in an ATM multiplexer