Проектирование высоконадежных систем автоматического управления движением корабля Техническая литература