Organizing States into Sub-state Machines