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