Constraining Designs for Synthesis and Timing Analysis - Gangadharan (Springer New York, 2013)