Analysis of a Semilinear PDE for Modeling Static Solutions of Josephson Junctions. - Jean-Guy Caputo; N. Flytzanis; A. Tersenov; Emmanuel A. Vavalis (SIAM J. Math. Anal., 2003)