Ургансков Д.И. Методы обеспечения и средства доказательства безопасности микропроцессорных систем железнодорожной автоматики и телемеханики : автореф. дис. .. канд. техн. наук: 05.22.08 / Д. И. Ургансков, 2003. - 28 с. - Текст : непосредственный.