Time-Domain Simulator of Josephson Junctions Based on the BCS Theory | IEEE Journals & Magazine | IEEE Xplore