Алгоритм автоматизированного построения математической модели бортовой системы пилотируемого корабля "Союз"доклад на конференции