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