Подъячев. Использование метода покрытий при верификации моделей IDEF-0. ТС [Интернет]. 1окт.2007 [цитируется по 21ноя.2024];(5):275-83. Available from: https://ia.spcras.ru/index.php/sp/article/view/1320