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