Analytical results for the fluxon-antifluxon annihilation process in Josephson junctions | IEEE Journals & Magazine | IEEE Xplore