Методы структурной верификации в конструкторских задачах автоматизированного проектирования МЭУЧура, Игорь Иванович199620 с.