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