How is star formation quenched in massive galaxies