Методология проектирования алгоритмического обеспечения интегрированных систем управления авиационными транспортными средствами на основе уравнений нелинейной динамики : монография