Mathematical contributions to the dynamics of the Josephson junctions: State of the art and open problems