A state-aggregation method for analyzing dynamic load-balancing policies | IEEE Conference Publication | IEEE Xplore