Timing Analysis and Optimization of Sequential Circuits by Sachin S. Sapatnekar, Sachin Sapatnekar & Naresh Maheshwari