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