Подъячев. Использование метода покрытий при верификации моделей IDEF-0. Труды СПИИРАН, no. 5 (октябрь 1, 2007): 275-283. просмотрено март 22, 2026. https://plantprotect.ru/index.php/sp/article/view/1320.