state model generation added