Josephson junctions in SPICE3 | IEEE Journals & Magazine | IEEE Xplore