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