Элементы Состояние Группы операторов машины состояний Узел Переход Операторы темпоральной логики Индикаторы изменений Операторы отслеживания фронта сигнала Узел памяти