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