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