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