On a Single-Server Finite Queuing Model with State-Dependent Arrival and Service Processes · Study