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