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