Analysis of a cellular automaton model for car traffic with a slow-to-stop rule