Elements Condition Groups of state machine operators Node transition Operators of temporal logic Indicators of change Memory node