Routing Congestion in VLSI Circuits: Estimation and Optimization - Saxena, Prashant; Sapatnekar, Sachin S.; Shelar, Rupesh S.; Sapatnekar, Sachin (Springer US, 2007)