Методика синтеза тестов аппаратуры по спецификациям на языке UML - Березкин, Алексей Владимирович; Филиппов, Алексей Семенович (Информационно-управляющие системы, 2010)