БЕРЕЗКИН, А. В.; ФИЛИППОВ, А. С. Методика синтеза спецификаций на языке UML для верификации обмена данными в аппаратуре. Информационно-управляющие системы, n. 5, p. 47-52, 20 out. 2011.