ACTION REFINEMENT FOR TIMED LOTOS