Text this: State models of dynamic systems: a case study approach