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