Modeling Flux-Quantizing Josephson Junction Circuits in Keysight ADS | IEEE Journals & Magazine | IEEE Xplore