SPICE models and applications of superconducting FETs and higher-voltage Josephson gates | IEEE Conference Publication | IEEE Xplore