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