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