Zurek–Kibble Symmetry Breaking Process in Superconducting Rings; Spontaneous Fluxon Formation in Annular Josephson Tunnel Junctions | IEEE Journals & Magazine | IEEE Xplore