Zurek-Kibble Symmetry Breaking Process in Superconducting Rings; Spontaneous Fluxon Formation in Annular Josephson Tunnel Junctions - Monaco,R; Aaroe,M; Rivers,RJ; Mygind,J; Dmitriev,P; Koshelets,VP (IEEE Transactions on Applied Superconductivity, 2007)