Envoyer par SMS: State models of dynamic systems: a case study approach