Березкин, А. В., и А. С. Филиппов. Методика синтеза спецификаций на языке UML для верификации обмена данными в аппаратуре. Информационно-управляющие системы, вып. 5, Oct. 2011, сс. 47-52, https://i-us.ru/index.php/ius/article/view/14102.