Standardized Functional Verification - Wiemann, Alan (Springer US, 2008)