https://library.utmn.ru/dl/abstract/05.13.18/1987.pdf
Математическое моделирование верификации процесса разработки программного обеспечения: автореф. дис. ... канд. техн. наук: 05.13.18