Doug Neuse K. Mani Chandy SCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems. 59-79 1981 SIGMETRICS db/conf/sigmetrics/sigmetrics81.html#NeuseC81