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