Metric Driven Design Verification by Hamolton Carter & Shankar G. Hemmady