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