Timing analysis and optimization of sequential circuits - Maheshwari, Naresh (Kluwer Academic, 1999)