Text this: State models of dynamic systems: