Josephson current in proximity junction | IEEE Journals & Magazine | IEEE Xplore