ПОДЪЯЧЕВ,. Использование метода покрытий при верификации моделей IDEF-0. Труды СПИИРАН, n. 5, p. 275-283, 1 out. 2007.