Analysis of a discrete-time single-server queue with an occasional extra server · Study