Waiting times of a finite-capacity multi-server model with non-preemptive priorities · Study