Open Verification Methodology Cookbook - Glasser, Mark. (Springer New York : Imprint: Springer, 2009)