Stav dette: State models of dynamic systems: a case study approach