metric driven design verification: an engineer's and executive's guide to first pass success (en Inglés)

carter, hamilton b. · springer