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