https://1library.net/document/zlg82nlg-software-verification-and-validation.html