sur 19
Metric Driven Design Verification — Hamilton B. Carter, Shankar G. Hemmady