A Florida man has been executed for killing a Miami Herald employee who was abducted on her lunch break.