Методика синтеза спецификаций на языке UML для верификации обмена данными в аппаратуре - Березкин, Алексей Владимирович; Филиппов, Алексей Семенович (Информационно-управляющие системы, 2011)