Подъячев, Использование метода покрытий при верификации моделей IDEF-0, ТС, вып. 5, сс. 275-283, окт. 2007.