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