Effective functional verification: principles and processes - Vasudevan, Srivatsa (Springer, 2006)