Elements Condition Groups of state machine operators Knot Transition Temporal logic operators Indicators of changes Signal Edge Tracking Operators Memory Node