refine the internal machine state models