Analysis of finite-buffer discrete-time batch-service queue with batch-size-dependent service · Study