Использование метода покрытий при верификации моделей IDEF-0 - Подъячев (Труды СПИИРАН, 2007)