OoieMetaModel
Notation
State Machine Model