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