Описываются математические модели, методы и инструментальные программные средства автоматизированной разработки управляющих программ реального времени для космических аппаратов...