Applied discrete-time queues. ([2016])