Zaslat SMS: State models of dynamic systems: a case study approach