Metric Driven Design Verification - Carter, Hamilton B. (Springer US, 2020)