Digital Timing Macromodeling For Vlsi Design Verification by Jeong-Taek Kong & David V. Overhauser