Static timing analysis for nanometer designs a practical approach - Bhasker, Jayaram; Chadha, Rakesh (Springer, 2009)