1. Подъячев Использование метода покрытий при верификации моделей IDEF-0 // Труды СПИИРАН. 2007. № 5. C. 275-283.