Подъячев,. (2007). Использование метода покрытий при верификации моделей IDEF-0. Труды СПИИРАН, (5), 275-283. https://doi.org/10.15622/sp.5.17