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