Timing Analysis and Optimization of Sequential Circuits - Maheshwari, Naresh (New York: Springer, 2007)