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