for Josephson devices