M/M/1/K/K
Formulas used in Queueing theory