SMS dit: Автоматное моделирование в задачах исследования сложных систем