Metric- Driven Design Verification - Carter, Hamilton B.; Hemmady, Shankar; Hemmady, Shankar G. (Springer US, 2007)