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