https://9lib.org/document/y4wk0d19-qualitative-verification-quantitative-evaluation-properties-advocated-engineers-developers.html