Rigorous Results on Spontaneous Symmetry Breaking in a One-Dimensional Driven Particle System. - Großkinsky, Stefan; Schütz, Gunter; Willmann, Richard (Journal of Statistical Physics, 2007)