A Refinement Repair Algorithm Based on Refinement Game for KMTS Models