A proof of the optimality of overload control in closed BCMP-networks - Heiß, Hans-Ulrich 1953- (Universität <Karlsruhe>, 1985)