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