Digital Timing Macromodeling for VLSI Design Verification e-bokEngelsk, 2012