Email Record: State models of dynamic systems :