Martingale proofs of many-server heavy-traffic limits for Markovian queues. Pang, Guodong; Talreja, Rishi; Whitt, Ward — 2007 Probability Surveys [electronic only]