Анализ определений иерархических временных автоматовкурсовая работа (Магистр)