Gov. Bob Riley said the state would halt the planned execution of Tommy Arthur while it came up with a new formula for lethal injection to make sure prisoners are completely unconscious before they are killed .