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