Analytical results for the fluxon-antifluxon annihilation process in Josephson junctions