Юсупов Ю.В. Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду : автореф. дис. .. канд. техн. наук: 05.13.11 / Ю. В. Юсупов, 2009. - 18 с. - Текст : непосредственный.