Tightness of stationary distributions of a flexible-server system in the Halfin-Whitt asymptotic regime · Study