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