Проблемы статического и динамического анализа архитектурных моделейдоклад на конференции