Flavor S_4 times Z_2 symmetry and neutrino mixing