Design automation for timing-driven layout synthesis - Sapatnekar, Sachin S. (Kluwer Academic, 1993)