Enviar aquest missatge de text: State models of dynamic systems: a case study approach