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