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