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