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