Toward a programmable HTS Josephson voltage standard: recent results | IEEE Journals & Magazine | IEEE Xplore