Effective Functional Verification Principles and Processes - Vasudevan, Srivatsa (Springer US, 2006)