Metric- driven design verification : an engineer's and executive's guide to first pass success - Carter, Hamilton B. (Springer Science+Business Media, LLC, 2007)