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