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