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